@inproceedings{Abel69,
  author = {Abel, Norma E. and Budnik, Paul P. and Kuck, David J. and Muraoka, Yoichi and Northcote, Robert S. and Wilhelmson, Robert B.},
  title = "{TRANQUIL}: a language for an array processing computer",
  booktitle = {AFIPS},
  year = {1969},
  pages = {57--73},
  publisher = {ACM}
}

@PhdThesis{Ackerman84,
  author     = {Ackerman, W. B.},
  title      = "Efficient Implementation of Applicative Languages",
  year       = {1984},
  school     = {MIT}
}

@Article{Agat98,
  author = "Johan Agat",
  title = "Types for Register Allocation",
  journal = "Lecture Notes in Computer Science",
  volume = "1467",
  pages = "92-111",
  year = "1997"
}

@article{Agha96,
 author = {Agha, Gul A.},
 title = {Linguistic paradigms for programming complex distributed systems},
 journal = {ACM Comput. Surv.},
 volume = {28},
 number = {2},
 year = {1996},
 pages = {295--296},
 publisher = {ACM}
}

@inproceedings{Agrawal93,
  author    = {Rakesh Agrawal and
               Tomasz Imielinski and
               Arun N. Swami},
  title     = {Mining Association Rules between Sets of Items in Large
               Databases},
  booktitle = {SIGMOD Conference},
  year      = {1993},
  pages     = {207-216}
}

@book{Aho06,
  author = {Aho, Alfred  V.  and
            Lam, Monica  S.  and
            Sethi, Ravi   and
            Ullman, Jeffrey  D. },
  publisher = {{Addison Wesley}},
  title = {Compilers: Principles, Techniques, and Tools (2nd Edition)},
  year = {2006}
}

@InProceedings{Aiken98,
  author="Alexander Aiken and David Gay",
  title={Barrier inference},
  booktitle={POPL},
  publisher={ACM Press},
  year={1998},
  pages={342-354}
}

@book{Akhter06,
  author    = {Shammeem Akhter and Jason Roberts},
  title     = {Multi-Core Programming},
  year      = {2006},
  publisher = {Intel Press}
}

@article{Allen70,
  author = {Allen, Frances E.},
  title = {Control flow analysis},
  journal = {SIGPLAN Not.},
  volume = {5},
  issue = {7},
  year = {1970},
  pages = {1--19},
  publisher = {ACM}
}

@article{Allen76,
  author = {Allen, F. E. and Cocke, J.},
  title = {A program data flow analysis procedure},
  journal = {Communications of the ACM},
  volume = {19},
  number = {3},
  year = {1976},
  pages = {137--146},
  publisher = {ACM}
}

@Book{Allen05,
  AUTHOR     = {Eric Allen and David Chase and Victor Luchangco and Jan-Willem Maessen and Sukyoung Ryu and Guy L. Steele Jr and Sam Tobin-Hochstadt},
  YEAR       = 1990,
  TITLE      = "The Fortress Language Specification",
  publisher  = "Sun Microsystems",
  edition    = "0.618",
}

@inproceedings{Alpern88,
  author = {Alpern, B. and Wegman, M. N. and Zadeck, F. K.},
  title = {Detecting equality of variables in programs},
  booktitle = {POPL},
  year = {1988},
  pages = {1--11},
  publisher = {ACM}
}

@InProceedings{An11,
  AUTHOR       = {Jong-hoon An and Avik Chaudhuri and Jeffrey S. Foster and
    Michael Hicks},
  YEAR         = {2011},
  TITLE        = {Dynamic Inference of Static Types for Ruby},
  BOOKTITLE    = {POPL},
  publisher    = {ACM},
  pages        = "XX-XX"
}

@mastersthesis{Ananian99,
  author  = "Scott Ananian",
  title   = "The Static Single Information Form",
  school  = "{MIT}",
  month   = "September",
  year    = "1999"
}

@phdthesis{Andersen94,
   author = "Lars Ole Andersen",
   title = "Program Analysis and Specialization for the C Programming Language",
   school = "DIKU, University of Copenhagen",
   year = "1994"
}

@InProceedings{Andersson03,
  AUTHOR       = {Christian Andersson},
  YEAR         = {2003},
  TITLE        = {Register Allocation by Optimal Graph Coloring},
  BOOKTITLE    = {CC},
  publisher    = {Springer},
  pages        = "34-45"
}

@Article{Appel98,
  AUTHOR     = {Andrew W. Appel},
  YEAR       = 1998,
  TITLE      = "{SSA} is Functional Programming",
  JOURNAL    = {SIGPLAN Notices},
  volume     = {33},
  number     = {4},
  publisher  = {ACM},
  pages      = {17-20}
}

@InProceedings{Appel01,
  AUTHOR     = {Andrew W. Appel and Lal George},
  YEAR       = 2001,
  TITLE      = "Optimal Spilling for {CISC} Machines with Few Registers",
  BOOKTITLE  = {PLDI},
  PAGES      = "243-253",
  PUBLISHER  = {ACM}
}

@Book{Appel02,
  AUTHOR     = {Andrew W. Appel and Jens Palsberg},
  YEAR       = 2002,
  TITLE      = "Modern Compiler Implementation in Java",
  Edition    = "2nd",
  PUBLISHER  = "Cambridge University Press"
}

@Misc{Appel05,
    Author = "Andrew W. Appel and Lal George",
    Year   = "2005",
    Title  = "27,921 actual register-interference graphs generated by Standard {ML}
    of {New Jersey}, version 1.09 -- {\tt http://www.cs.prin\-ceton.e\-du/$\sim$appel/graphdata/}"
}

@TechReport{Armbrust09,
  author      = "Michael Armbrust and Armando Fox and Rean Griffith and
    Anthony D. Joseph and Randy H. Katz and Andrew Konwinski and Gunho Lee and
    David A. Patterson and Ariel Rabkin and Ion Stoica and Matei Zaharia",
  title       = "Above the Clouds: A Berkeley View of Cloud Computing",
  institution = "University of California, Berkeley",
  year        = 2009,
  number      = "UCB/EECS-2009-28"
}

@inproceedings{Armstrong07,
 author = {Armstrong, Joe},
 title = {A history of Erlang},
 booktitle = {HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages},
 year = {2007},
 pages = {6-1--6-26},
 publisher = {ACM},
}

@book{Arnold05,
  author = {Arnold, Ken and Gosling, James and Holmes, David},
  publisher = {{Addison-Wesley Professional}},
  title = {Java(TM) Programming Language, The (4th Edition) (Java Series)},
  year = {2005}
}

@article{Aycock03,
  author = {Aycock, John},
  title = {A brief history of just-in-time},
  journal = {ACM Computing Surveys},
  volume = {35},
  number = {2},
  year = {2003},
  pages = {97--113},
  publisher = {ACM}
}

@article{Javey03,
  author = {A. Javey and J. Guo and Q. Wang and M. Lundstrom and H. Dai},
  title = {Ballistic Carbon Nanotube Field Effect Transistor},
  journal = {Nature},
  volume = {294},
  number = {1},
  year = {2001},
  publisher = ""
}

@article{Backus78,
 author = {Backus,, John},
 title = {The history of FORTRAN I, II, and III},
 journal = {SIGPLAN Not.},
 volume = {13},
 number = {8},
 year = {1978},
 pages = {165--180},
 publisher = {ACM}
}

@inproceedings{Baghsorkhi10,
 author = {Baghsorkhi, Sara S. and Delahaye, Matthieu and Patel, Sanjay J. and Gropp, William D. and Hwu, Wen-Mei W.},
 title = {An adaptive performance modeling tool for GPU architectures},
 booktitle = {PPoPP},
 year = {2010},
 pages = {105--114},
 publisher = {ACM}
}

@inproceedings{Bala00,
  author = {Vasanth Bala and Evelyn Duesterwald and Sanjeev Banerjia},
  title = {Dynamo: a transparent dynamic optimization system},
  booktitle = {PLDI},
  year = {2000},
  pages = {1--12},
  publisher = {ACM}
}

@inproceedings{Ball93,
  author    = {Thomas Ball and
               James R. Larus},
  title     = {Branch Prediction For Free},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {1993},
  pages     = {300-313}
}

@inproceedings{Barik06,
  title = {Optimal Bitwise Register Allocation Using Integer Linear Programming.},
  author = {Rajkishore Barik and Christian Grothoff and Rahul Gupta and Vinayaka Pandit and Raghavendra Udupa},
  booktitle = {LCPC},
  pages = {267-282},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4382},
  year = {2006}
}

@inproceedings{Batcher68,
  author = {Batcher, Kenneth. E.},
  title = {Sorting networks and their applications},
  booktitle = {AFIPS},
  year = {1968},
  pages = {307--314},
  publisher = {ACM}
}

@inproceedings{Beidas05,
 author = {Rami Beidas and Jianwen Zhu},
 title = {Scalable interprocedural register allocation for high level synthesis},
 booktitle = {ASP-DAC},
 year = {2005},
 pages = {511--516},
 publisher = {ACM}
}

@Article{Belady66,
  author = "L A Belady",
  title = "A Study of Replacement algorithms for a Virtual Storage Computer",
  journal = "{IBM} Systems Journal",
  volume = "5",
  number = "2",
  pages = "78-101",
  year = "1966"
}

@article{Bellman58,
  author = {Bellman, Richard},
  journal = {Quarterly of Applied Mathematics},
  pages = {87--90},
  title = {{On a Routing Problem}},
  volume = {16},
  year = {1958}
}

@InProceedings{Benoit08,
    author = "Benoit Boissinot and Sebastian Hack and Daniel Grund
              and Benoit Dupont de Dinechin and Fabrice Rastello",
    title = "Fast Liveness Checking for {SSA}-Form Programs",
    booktitle = "CGO",
    publisher = {IEEE},
    pages = "35-44",
    year = "2008"
}

@InProceedings{Benoit09,
    author = "Benoit Boissinot and Alain Darte and Fabrice Rastello and Benoit Dupont de Dinechin and  Christophe Guillon",
    title = "Revisiting Out-of-{SSA} Translation for Correctness, Code Quality, and Efficienty",
    booktitle = "CGO",
    publisher = {IEEE},
    pages = "XX-XX",
    year = "2009"
}

@TechReport{Benoit09b,
  author      = "Benoit Boissinot and Philip Brisk and Alain Darte and
                 Fabrice Rastello",
  title       = "{SSI} Properties Revisited",
  institution = "{LIP} Research Report",
  year        = 2009,
  number      = "00404236"
}

@InProceedings{Bhatkar03,
    author = {Eep Bhatkar and Daniel C. Duvarney and R. Sekar},
    title = {Address obfuscation: an efficient approach to combat a broad range of memory error exploits},
    booktitle = {USENIX Security},
    year = {2003},
    pages = {105--120}
}

@InProceedings{Bigonha09,
    author = "Mariza A. S. Bigonha and Fernando M. Q. Pereira and Fabrice
      Rastello and Roberto S. Bigonha",
    title = "A Coalescing Algorithm for Aliased Registers",
    booktitle = "COLIBRI",
    pages = "XX-XX",
    year = "2009"
}

@article{Biro92,
  author    = {M. Bir{\'o} and Mih{\'a}ly Hujter and Zsolt Tuza},
  title     = {Precoloring extension. I. Interval graphs},
  journal   = {Discrete Mathematics},
  volume    = {100},
  number    = {1-3},
  year      = {1992},
  pages     = {267-279}
}

@inproceedings{Blanchet98,
  author    = {Bruno Blanchet},
  title     = {Escape Analysis: Correctness Proof, Implementation and
    Experimental Results},
  booktitle = {POPL},
  year      = {1998},
  pages     = {25-37},
  publisher = {ACM}
}

@inproceedings{Blanchet03,
  author    = {Blanchet, B. and Cousot, P and Cousot, R. and Feret, J. and Mauborgne, L. and Min\'{e}, A and Monniaux, D. and Rival, X.},
  title     = {A static analyzer for large safety-critical software},
  booktitle = {PLDI},
  year      = {2003},
  pages     = {196--207},
  publisher = {ACM}
}

@inproceedings{Blelloch90,
  author = {Guy Blelloch and Siddhartha Chatterjee},
  title = {Vcode: A Data-Parallel Intermediate Language},
  booktitle = {FMPC},
  year = {1990},
  pages = {471-480},
  publisher = {ACM}
}

@InProceedings{Bodik00,
    author = "Rastislav Bodik and Rajiv Gupta and Vivek Sarkar",
    title = "{ABCD}: eliminating array bounds checks on demand",
    booktitle = "PLDI",
    publisher = {ACM},
    pages = "321-333",
    year = "2000"
}

@InProceedings{Bodlaender98,
    author = "Hans Bodlaender and Jens Gustedt and Jan Arne Telle",
    title = "Linear-Time Register Allocation For a Fixed Number of Registers",
    booktitle = "{SIAM} Symposium on Discrete Algorithms",
    pages = "574-583",
    year = "1998"
}

@inproceedings{Boogerd06,
 author = {Boogerd, Cathal and Moonen, Leon},
 title = {Prioritizing Software Inspection Results using Static Profiling},
 booktitle = {SCAM},
 year = {2006},
 pages = {149--160}
}

@inproceedings{Bond07,
  author = {Bond, Michael D. and McKinley, Kathryn S.},
  title = {Probabilistic calling context},
  booktitle = {OOPSLA},
  year = {2007},
  pages = {97--112},
  publisher = {ACM}
}

@mastersthesis{Bouchez05,
  author  = "Florent Bouchez",
  title   = "Allocation de Registres et Vidage en M\'{e}moire",
  school  = "{ENS} Lyon",
  month   = "October",
  year    = "2005"
}

@InProceedings{Bouchez06a,
    author = "Florent Bouchez and Alain Darte and Christophe Guillon and Fabrice Rastello",
    title = "Register Allocation: What does the {NP}-Completeness Proof of Chaitin et al. Really Prove? Or Revisiting Register Allocation: Why and How.",
    booktitle = "19th International Workshop on Languages and Compilers for Parallel Computing",
    pages = "283-298",
    year = "2006"
}

@InProceedings{Bouchez06b,
    author = "Florent Bouchez and Alain Darte and Christophe Guillon and Fabrice Rastello",
    title = "Register Allocation: What does the {NP}-Completeness Proof of Chaitin et al. Really Prove?",
    booktitle = "5th Annual Workshop in Duplicating, Deconstructing, and Debunking",
    year = "2006"
}

@InProceedings{Bouchez07a,
    author = "Florent Bouchez and Alain Darte and Fabrice Rastello",
    title = "On the Complexity of Spill Everywhere under SSA Form",
    booktitle = "Conference on Languages, Compilers, and Tools for Embedded Systems",
    pages = "103 -- 112",
    publisher = "{ACM}",
    year = "2007"
}

@InProceedings{Bouchez07b,
    author = "Florent Bouchez and Alain Darte and Fabrice Rastello",
    title = "On the Complexity of Register Coalescing",
    booktitle = "CGO",
    pages = "102 -- 104",
    publisher = "{IEEE}",
    year = "2007"
}

@InProceedings{Bouchez08,
    author = "Florent Bouchez and Alain Darte and Fabrice Rastello",
    title = "Advanced Conservative and Optimistic Register Coalescing",
    booktitle = "CASES",
    pages = "147 -- 156",
    publisher = "{ACM}",
    year = "2008"
}

@PhdThesis{Bouchez08b,
  AUTHOR = "Florent Bouchez",
  TITLE = "A Study of Spilling and Coalescing in Register Allocation as Two
    Separate Phases",
  SCHOOL = "ENS Lyon",
  YEAR = "2008"
}

@inproceedings{Bouchez10,
  author = {Bouchez, Florent and Colombet, Quentin and Darte, Alain and
    Rastello, Fabrice and Guillon, Christophe},
  title = {Parallel copy motion},
  booktitle = {SCOPES},
  year = {2010},
  pages = {1--10},
  publisher = {ACM}
}

@article{Bouge92,
  author = {Boug\'{e}, Luc and Levaire, Jean-Luc},
  journal = {Future Generation Computer Systems},
  number = {4},
  pages = {363--378},
  title = {{Control structures for data-parallel SIMD languages: semantics and implementation}},
  volume = {8},
  year = {1992}
}

@article{Bouknight72,
  title="The {Illiac IV} system",
  volume={60},
  number={4},
  journal={Proceedings of the IEEE},
  publisher={IEEE},
  author={Bouknight, W.J. and Denenberg, S. A. and McIntyre, D. E. and Randall, J. M. and Sameh, A. H. and Slotnick, D. L.},
  year={1972},
  pages={369--388}
}

@InProceedings{Boyer08,
  author    = {Michael Boyer and Kevin Skadron and Westley Weimer},
  title     = "Automated dynamic analysis of {CUDA} program",
  booktitle = {Third Workshop on Software Tools for MultiCore Systems},
  year      = {2008},
  pages     = {}
}

@InProceedings{Braun09,
  author    = {Matthias Braun and Sebastian Hack},
  title     = "Register Spilling and Live-Range Splitting for {SSA}-Form
        Programs",
  booktitle = {CC},
  year      = {2009},
  pages     = {174-189}
}

@PhdThesis{Briggs92,
  AUTHOR = "Preston Briggs",
  TITLE = "Register Allocation via Graph Coloring",
  SCHOOL = "Rice University",
  YEAR = "1992"
}

@Article{Briggs92b,
  AUTHOR = "Preston Briggs and Keith Cooper and Linda Torczon",
  TITLE = "Coloring register pairs",
  JOURNAL = "ACM Letters on Programming Languages", 
  VOLUME = "1",
  NUMBER = "1",
  PAGES = "3-13",  YEAR = "1992"
}

@inproceedings{Briggs92c,
  author    = {Preston Briggs and
               Keith D. Cooper and
               Linda Torczon},
  title     = {Rematerialization},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {1992},
  pages     = {311-321}
}

@Article{Briggs94,
  AUTHOR     = {Preston Briggs and Keith D. Cooper and Linda Torczon},
  YEAR       = 1994,
  TITLE      = "Improvements to Graph Coloring Register Allocation",
  JOURNAL    = {TOPLAS},
  volume     = {16},
  number     = {3},
  publisher  = {ACM Press},
  pages      = {428-455}
}

@Article{Briggs98,
  AUTHOR     = {Preston Briggs and Keith D. Cooper and Timothy J. Harvey and L. Taylor Simpson},
  YEAR       = 1998,
  TITLE      = "Practical Improvements to the Construction and Destruction of Static Single Assignment Form",
  JOURNAL    = {Software Practice and Experience},
  volume     = {28},
  number     = {8},
  publisher  = {John Wiley & Sons},
  pages      = {859-881}
}

@InProceedings{Brisk05,
  AUTHOR       = {Philip Brisk and Foad Dabiri and Jamie Macbeth and Majid Sarrafzadeh},
  YEAR         = {2005},
  TITLE        = {Polynomial-Time Graph Coloring Register Allocation},
  BOOKTITLE    = {14th International Workshop on Logic and Synthesis},
  publisher    = {ACM Press}
}

@PhdThesis{Brisk06a,
  AUTHOR      = "Philip Brisk",
  TITLE       = "Advances in Static Single Assignment Form and Register Allocation",
  SCHOOL = "UCLA - University of California, Los Angeles",
  YEAR        = "2006"
}

@article{Brisk06b,
  author    = {Philip Brisk and Foad Dabiri and Roozbeh Jafari and Majid Sarrafzadeh},
  title     = {Optimal register sharing for high-level synthesis of {SSA} form
    programs},
  journal   = {TCAD},
  publisher = {IEEE},
  volume    = {25},
  number    = {5},
  year      = {2006},
  pages     = {772-779}
}

@InProceedings{Brisk07a,
  AUTHOR       = {Philip Brisk and Majid Sarrafzadeh},
  YEAR         = {2007},
  TITLE        = {Interference graphs for procedures in static single information form are interval graphs},
  BOOKTITLE    = {SCOPES},
  PAGES        = {101-110},
  publisher    = {ACM Press}
}

@InProceedings{Brisk07b,
  title={Optimal polynomial-time interprocedural register allocation for high-level synthesis and ASIP design}, 
  author={Brisk, P. and Verma, A.K. and Ienne, P.}, 
  booktitle={Computer-Aided Design, 2007. ICCAD 2007. IEEE/ACM International Conference on}, 
  year={2007}, 
  pages={172-179},
}

@article{Brockmann97,
  author = {Klaus Brockmann and Rolf Wanka},
  title = "Efficient Oblivious Parallel Sorting on the {MasPar MP-1}",
  journal ={ICSS},
  volume = {1},
  issn = {1060-3425},
  year = {1997},
  pages = {200},
  publisher = {IEEE}
}

@inproceedings{Brumley07,
  author    = {David Brumley and
               Dawn Xiaodong Song and
               Tzi-cker Chiueh and
               Rob Johnson and
               Huijia Lin},
  title     = "{RICH}: Automatically Protecting Against Integer-Based Vulnerabilities",
  booktitle = {NDSS},
  year      = {2007},
  publisher = {USENIX}
}

@inproceedings{Buchanan08,
  author = {Buchanan, Erik and Roemer, Ryan and Shacham, Hovav and Savage, Stefan},
  title = "When good instructions go bad: generalizing return-oriented programming to {RISC}",
  booktitle = {CCS},
  year = {2008},
  pages = {27--38},
  publisher = {ACM}
}

@InProceedings{Budimlic02,
  AUTHOR     = {Zoran Budimlic and Keith D. Cooper and Timothy J. Harvey and Ken Kennedy and Timothy S. Oberg and Steven W. Reeves},
  YEAR       = "2002",
  TITLE      = "Fast copy coalescing and live-range identification",
  BOOKTITLE  = "PLDI",
  PUBLISHER  = {ACM},
  PAGES      = "25-32"
}

@article{Burkard84,
    author = "Rainer E. Burkard and
              Eranda {\c{C}}ela and
              Panos M. Pardalos and
              Leonidas S. Pitsoulis",
    title = "Quadratic assignment problems",
    journal = "European Journal of Operational Research",
    volume = "15",
    pages = "283--289",
    year = "1984"
}

@inproceedings{Carette07,
  author = {Carette, Jacques and Kucera, Michael},
  title = {Partial evaluation of Maple},
  booktitle = {PEPM},
  year = {2007},
  pages = {41--50},
  publisher = {ACM}
}

@article{Carriero89,
 author = {Nicholas Carriero and David Gelernter},
 title = {Linda in context},
 journal = {Commun. ACM},
 volume = {32},
 number = {4},
 year = {1989},
 pages = {444--458},
 publisher = {ACM}
}

@inproceedings{Carrillo09,
  author = {Carrillo, Snaider and Siegel, Jakob and Li, Xiaoming},
  title = {A control-structure splitting optimization for GPGPU},
  booktitle = {Computing frontiers},
  year = {2009},
  pages = {147--150},
  publisher = {ACM}
}

@article{Cartwright89,
  author    = {Cartwright, Robert and Felleisen, Mattias},
  title     = {The semantics of program dependence},
  journal   = {SIGPLAN Not.},
  volume    = {24},
  number    = {7},
  year      = {1989},
  pages     = {13--27},
  publisher = {ACM}
}

@InProceedings{Cavazos06,
  AUTHOR     = {John Cavazos and J. Eliot B. Moss and Mike O'Boyle},
  YEAR       = "2006",
  TITLE      = "Hybrid Optimizations: Which Optimization Algorithm to Use?",
  BOOKTITLE  = "15th Conference on Compiler Construction",
  PAGES      = "124 -- 138",
  PUBLISHER  = "Springer"
}

@article{Cederman09,
  author = {Cederman, Daniel and Tsigas, Philippas},
  title = "{GPU}-Quicksort: A practical Quicksort algorithm for graphics processors",
  journal = {Journal of Experimental Algorithmics},
  volume = {14},
  number = 1,
  year = {2009},
  pages = {4--24},
  publisher = {ACM}
}

@Book{Chailloux00,
  AUTHOR     = {Emmanuel Chailloux and Pascal Manoury and Bruno Pagano},
  YEAR       = 2000,
  TITLE      = "Developing Applications With Objective Caml",
  publisher  = "O'Reilley and Associates",
  edition    = "1st",
}

@Article{Chaitin81,
  AUTHOR       = {Gregory J. Chaitin and Mark A. Auslander and Ashok K. Chandra and John Cocke and Martin E. Hopkins and Peter W. Markstein},
  YEAR         = {1981},
  TITLE        = {Register allocation via coloring},
  JOURNAL      = {Computer Languages},
  volume       = {6},
  pages        = {47-57}
}

@Article{Chaitin82,
  AUTHOR       = {G. J. Chaitin},
  YEAR         = {1982},
  TITLE        = {Register Allocation and Spilling via Graph Coloring},
  JOURNAL      = {Symposium on Compiler Construction},
  publisher    = {ACM Press},
  series       = {SIGPLAN Notices},
  volume       = {17},
  number       = {6},
  pages        = {98-105}
}

@Article{Chamberlain07,
  author = {B.L. Chamberlain and D. Callahan and H.P. Zima},
  title = {Parallel Programmability and the Chapel Language},
  journal = {Int. J. High Perform. Comput. Appl.},
  volume = {21},
  number = {3},
  year = {2007},
  pages = {291--312},
  publisher = {Sage Publications, Inc.}
}

@article{Chambers89,
  author = {Craig Chambers and David Ungar},
  title = {Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language},
  journal = {SIGPLAN Not.},
  volume = {24},
  number = {7},
  year = {1989},
  pages = {146--160},
  publisher = {ACM}
}

@article{Chang91,
 author = {Chang, Pohua P. and Mahlke, Scott A. and Hwu, Wen-mei W.},
 title = {Using profile information to assist classic code optimizations},
 journal = {Software Practice and Experience},
 volume = {21},
 number = {12},
 year = {1991},
 pages = {1301--1321},
 publisher = "{John Wiley \& Sons}"
}

@inproceedings{Chang09,
 author = {Chang,, Mason and Smith,, Edwin and Reitmaier,, Rick and Bebenita,, Michael and Gal,, Andreas and Wimmer,, Christian and Eich,, Brendan and Franz,, Michael},
 title = {Tracing for web 3.0: trace compilation for the next generation web applications},
 booktitle = {VEE},
 year = {2009},
 pages = {71--80},
 publisher = {ACM}
}

@article{Charles05,
  author = {Philippe Charles and Christian Grothoff and Vijay Saraswat and Christopher Donawa and Allan Kielstra and Kemal Ebcioglu and Christoph von Praun and Vivek Sarkar},
  title = {X10: an object-oriented approach to non-uniform cluster computing},
  journal = {SIGPLAN Not.},
  volume = {40},
  number = {10},
  year = {2005},
  issn = {0362-1340},
  pages = {519--538},
  publisher = {ACM}
}

@inproceedings{Che09,
  author    = {Shuai Che and Michael Boyer and Jiayuan Meng and David Tarjan and Jeremy W. Sheaffer and Sang-Ha Lee and Kevin Skadron},
  title     = {Rodinia: A benchmark suite for heterogeneous computing},
  booktitle = {IISWC},
  PUBLISHER  = {IEEE},
  year      = {2009},
  pages     = {44-54}
}

@inproceedings{Cheng00,
  author    = {Ben-Chung Cheng and
               Wen-Mei W. Hwu},
  title     = {Modular interprocedural pointer analysis using access paths:
               design, implementation, and evaluation},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {2000},
  pages     = {57-69}
}

@inproceedings{Chen09,
  author    = {Ping Chen and Yi Wang and Zhi Xin and Bing Mao and Li Xie},
  title     = "{BRICK}: A Binary Tool for Run-Time Detecting and Locating
               Integer-Based Vulnerability",
  booktitle = {ARES},
  year      = {2009},
  pages     = {208-215}
}

@InProceedings{Chinchani04,
  author = {Ramkumar Chinchani and Anusha Iyer and Bharat Jayaraman and
    Shambhu Upadhyaya},
  title = "{ARCHERR}: Runtime environment driven program safety",
  booktitle = {European Symposium on Research in Computer Security},
  year = {2004},
  publisher = "Springer"
}

@InProceedings{Choi91,
  author    = "Jong-Deok Choi and Ron Cytron and Jeanne Ferrante",
  title     = "Automatic Construction of Sparse Data Flow Evaluation Graphs",
  booktitle = "POPL",
  pages     = "55-66",
  year      = "1991"
}

@inproceedings{Choi10,
  author = {Choi, Jee W. and Singh, Amik and Vuduc, Richard W.},
  title = {Model-driven autotuning of sparse matrix-vector multiply on GPUs},
  booktitle = {PPoPP},
  year = {2010},
  pages = {115--126},
  publisher = {ACM}
}

@inproceedings{Chugh09,
  author = {Chugh, Ravi and Meister, Jeffrey A. and Jhala, Ranjit and Lerner, Sorin},
  title = {Staged information flow for javascript},
  booktitle = {PLDI},
  year = {2009},
  pages = {50--62},
  publisher = {ACM}
}

@inproceedings{Colby00,
  author = {Colby, Christopher and Lee, Peter and Necula, George C. and Blau, Fred and Plesko, Mark and Cline, Kenneth},
  title = {A certifying compiler for Java},
  booktitle = {PLDI},
  year = {2000},
  pages = {95--107},
  publisher = {ACM}
}

@misc{Cole88,
 author = {Cole,, Murray I.},
 title = {Algorithmic skeletons: a structured approach to the management of parallel computation},
 note = {Research Monograph on Parallel and Distributed Computing},
 year = {1988}
}

@inproceedings{Collange10,
  author = {Sylvain Collange and David Defour and Yao Zhang},
  title = {Dynamic Detection of Uniform and Affine Vectors in {GPGPU}
  computations},
  booktitle = {HPPC},
  year = {2009},
  pages = {46--55},
  publisher = {Springer}
}

@inproceedings{Collange10b,
  author    = {Sylvain Collange and
               Marc Daumas and
               David Defour and
               David Parello},
  title     = {Barra: A Parallel Functional Simulator for GPGPU},
  booktitle = {MASCOTS},
  year      = {2010},
  pages     = {351-360},
  publisher = {IEEE}
}

@article{Costa11,
  author = {Igor Rafael Assis da Costa e Fernando Magno Quintao Pereira},
  title = "Como Participar do Summer of Code",
  journal = "{SBC} Horizontes",
  year = {2011},
  pages = {35--38},
  volume = {1},
  number = {4},
  publisher = {SBC}
}

@inproceedings{Costan05,
  author    = {Alexandru Costan and
               Stephane Gaubert and
               Eric Goubault and
               Matthieu Martel and
               Sylvie Putot},
  title     = {A Policy Iteration Algorithm for Computing Fixed Points
               in Static Analysis of Programs},
  booktitle = {CAV},
  year      = {2005},
  pages     = {462-475}
}

@InProceedings{Cousot77,
  author = {Cousot, P. and Cousot, R.},
  title = "Abstract Interpretation: a Unified Lattice Model for Static Analysis
    of Programs by Construction or Approximation of Fixpoints",
  booktitle = {POPL},
  year = {1977},
  pages = {238--252},
  publisher = {ACM}
}

@InProceedings{Cousot78,
  author = {Cousot, P. and Halbwachs, N..},
  title = "Automatic Discovery of Linear Restraints Among Variables of a
    Program",
  booktitle = {POPL},
  year = {1978},
  pages = {84--96},
  publisher = {ACM}
}

@article{Cousot09,
  author = {Cousot, Patrick and Cousot, Radhia and Feret, J{\'e}r\^{o}me and Mauborgne, Laurent and Min{\'e}, Antoine and Rival, Xavier},
  title = {Why does Astr\'{e}e scale up?},
  journal = {Form. Methods Syst. Des.},
  issue_date = {December  2009},
  volume = {35},
  number = {3},
  year = {2009},
  pages = {229--264},
  publisher = {Kluwer Academic Publishers}
}

@inproceedings{Coutinho11,
  author = {Bruno Coutinho and Diogo Sampaio and Fernando Magno Quintao
    Pereira and Wagner Meira Jr.},
  title = {Divergence Analysis and Optimizations},
  booktitle = {PACT},
  year = {2011},
  pages = {},
  publisher = {IEEE}
}

@article{Coutinho11b,
  author = {Bruno Coutinho and Diogo Sampaio and Fernando Magno Quintao
    Pereira and Wagner Meira Jr.},
  title = "Profiling Divergences in {GPU} applications",
  journal = "Concurrency and Computation: Practice and Experience",
  year = {201X},
  pages = {2--23},
  note      = "Artigo convidado para edi\c{c}\~{a}o especial do SBAC-PAD 2010.
    Publica\c{c}\~{a}o impressa prevista para 2012.",
  volume = {X},
  number = {X},
  publisher = {John Wiley \& Sons}
}

@article{Chow88,
 author = {F. C. Chow},
 title = {Minimizing register usage penalty at procedure calls},
 journal = {SIGPLAN Not.},
 volume = {23},
 number = {7},
 year = {1988},
 issn = {0362-1340},
 pages = {85--94},
 doi = {http://doi.acm.org/10.1145/960116.53999},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@ARTICLE{Cong05,
  title={Bitwidth-aware scheduling and binding in high-level synthesis}, 
  author={Jason Cong and Yiping Fan and Guoling Han and Yizhou Lin and Junjuan Xu and Zhiru Zhang and Xu Cheng}, 
  journal={Design Automation Conference, 2005. Proceedings of the ASP-DAC 2005. Asia and South Pacific}, 
  year={18-21 Jan. 2005}, 
  volume={2}, 
  number={},
  pages={ 856-861},
}

@Book{Cormen01,
  AUTHOR     = {Thomas H Cormen and Charles E Leiserson and Ronald L Rivest and Cliff Stein},
  YEAR       = {2001},
  TITLE      = {Introduction to Algorithms},
  PUBLISHER  = {McGraw-Hill},
  edition    = {2nd}
}

@misc{Coutinho10,
 author = {Removed due to blind review}
}

@inproceedings{Coutinho10official,
  author = {Bruno Coutinho and Diogo Sampaio and Fernando Magno Quintao
    Pereira and Wagner Meira Jr.},
  booktitle = {SBAC-PAD},
  publisher = {IEEE},
  title = "Performance Debugging of {GPGPU} Applications with the Divergence
    Map",
  pages = "33--40",
  year = {2010}
}

@inproceedings{Couto11,
  author = {Douglas do Couto Teixeira and Fernando Magno Quintao Pereira},
  booktitle = {SBLP},
  publisher = {SBC},
  title = "The Design and Implementation of a Non-Iterative Range Analysis
    Algorithm on a Production Compiler",
  pages = "45--59",
  year = {2011}
}

@article{Curry82,
 author = {Gael Curry and Larry Baer and Daniel Lipkie and Bruce Lee},
 title = {Traits: An approach to multiple-inheritance subclassing},
 journal = {ACM SIGOA Newsletter},
 volume = {3},
 number = {1-2},
 year = {1982},
 pages = {1--9},
 publisher = {ACM}
}

@inproceedings{Cytron89,
  author    = {Ron Cytron and
               Jeanne Ferrante and
               Barry K. Rosen and
               Mark N. Wegman and
               F. Kenneth Zadeck},
  title     = {An Efficient Method of Computing Static Single Assignment
               Form},
  booktitle = {POPL},
  year      = {1989},
  pages     = {25-35}
}

@Article{Cytron91,
  author    = "Ron Cytron and Jeanne Ferrante and Barry K. Rosen and 
               Mark N. Wegman and F. Kenneth Zadeck",
  title     = "Efficiently Computing Static Single Assignment Form 
               and the Control Dependence Graph",
  journal   = {TOPLAS},
  volume    = 13,
  number    = 4,
  year      = 1991,
  pages     = "451-490"
}

@inproceedings{Damas82,
 author = {Damas, Luis and Milner, Robin},
 title = {Principal type-schemes for functional programs},
 booktitle = {POPL},
 year = {1982},
 isbn = {0-89791-065-6},
 pages = {207--212},
 location = {Albuquerque, New Mexico},
 doi = {http://doi.acm.org/10.1145/582153.582176},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Darema88,
  author    = {Frederica Darema and
               David A. George and
               V. Alan Norton and
               Gregory F. Pfister},
  title     = {A single-program-multiple-data computational model for EPEX/FORTRAN},
  journal   = {Parallel Computing},
  volume    = {7},
  number    = {1},
  year      = {1988},
  pages     = {11-24}
}

@book{Dasgupta06,
  author    = {Sanjoy Dasgupta and
               Christos H. Papadimitriou and
               Umesh Vazirani},
  title     = {Algorithms},
  year      = {2006},
  publisher = {McGraw-Hill Science/Engineering/Math}
}

@inproceedings{Dastgeer11,
  author = {Dastgeer, Usman and Enmyren, Johan and Kessler, Christoph W.},
  title = {Auto-tuning SkePU: a multi-backend skeleton programming framework for multi-GPU systems},
  booktitle = {IWMSE},
  year = {2011},
  pages = {25--32},
  publisher = {ACM}
}

@inproceedings{Dean04,
  author    = {Jeffrey Dean and
               Sanjay Ghemawat},
  title     = {MapReduce: Simplified Data Processing on Large Clusters},
  booktitle = {OSDI},
  year      = {2004},
  pages     = {137-150}
}

@article{Denning77,
 author = {Denning, Dorothy E. and Denning, Peter J.},
 title = {Certification of programs for secure information flow},
 journal = {Commun. ACM},
 volume = {20},
 issue = {7},
 year = {1977},
 pages = {504--513},
 publisher = {ACM}
} 

@inproceedings{Diamos10,
  author    = {Gregory Diamos and Andrew Kerr and Sudhakar Yalamanchili and
  Nathan Clark},
  title     = "{Ocelot}, A dynamic optimization framework for Bulk-Synchronous
    Applications in Heterogeneous Systems",
  booktitle = {PACT},
  year      = {2010},
  pages     = {354--364}
}

@inproceedings{Dietz12,
 author = {Dietz, Will and Li, Peng and Regehr, John and Adve, Vikram},
 title = {Understanding integer overflow in C/C++},
 booktitle = {ICSE},
 year = {2012},
 pages = {760--770},
 publisher = {IEEE}
}

@article{Dowson97,
 author = {Mark Dowson},
 title = {The Ariane 5 software failure},
 journal = "{SIGSOFT} Softw. Eng. Notes",
 volume = {22},
 number = {2},
 year = {1997},
 pages = {84--},
 publisher = {ACM}
} 

@inproceedings{Du03,
  author = {Du, Wei and Ferreira, Renato and Agrawal, Gagan},
  title = {Compiler Support for Exploiting Coarse-Grained Pipelined Parallelism},
  booktitle = {Conference on Supercomputing},
  year = {2003},
  isbn = {1-58113-695-1},
  pages = {8},
  publisher = {IEEE Computer Society}
}

@Article{Duncan90,
  AUTHOR     = {Ralph Duncan},
  YEAR       = 1990,
  TITLE      = "A Survey of Parallel Computer Architectures",
  JOURNAL    = {IEEE Computer},
  volume     = {23},
  number     = {2},
  publisher  = {IEEE},
  pages      = {5-16}
}

@inproceedings{Ebner08,
  author    = {Dietmar Ebner and
               Florian Brandner and
               Bernhard Scholz and
               Andreas Krall and
               Peter Wiedermann and
               Albrecht Kadlec},
  title     = {Generalized instruction selection using {SSA}-graphs},
  booktitle = {LCTES},
  year      = {2008},
  pages     = {31-40}
}

@inproceedings{Eckstein03a,
  author    = {Erik Eckstein and
               Bernhard Scholz},
  title     = {Addressing Mode Selection},
  booktitle = {CGO},
  publisher = {IEEE},
  year      = {2003},
  pages     = {337-346}
}

@inproceedings{EcksteinK03b,
  author    = {Erik Eckstein and
               Oliver K{\"o}nig and
               Bernhard Scholz},
  title     = {Code Instruction Selection Based on SSA-Graphs},
  booktitle = {SCOPES},
  year      = {2003},
  pages     = {49-65}
}

@Book{Ecma09,
  AUTHOR     = "{ECMA} Committe",
  YEAR       = 2009,
  TITLE      = "{ECMAScript} Language Specification",
  publisher  = "{ECMA}",
  edition    = "5th",
}

@inproceedings{Edwards05,
 author = {Stephen A. Edwards},
 title = {The Challenges of Hardware Synthesis from C-Like Languages},
 booktitle = {The conference on Design, Automation and Test in Europe},
 year = {2005},
 pages = {66--67},
 publisher = {IEEE}
 }

@article{Rochlis89,
  author = {Rochlis, Jon A. and Eichin, Mark W.},
  title = "With microscope and tweezers: the worm from {MIT}'s perspective",
  journal = {Commun. ACM},
  volume = {32},
  issue = {6},
  month = {June},
  year = {1989},
  pages = {689--698},
  publisher = {ACM}
} 

@inproceedings{Eide08,
  author = {Eide, Eric and Regehr, John},
  title = {Volatiles are miscompiled, and what to do about it},
  booktitle = {EMSOFT},
  year = {2008},
  pages = {255--264},
  publisher = {ACM}
}

@inproceedings{Eleyat10,
  author = {Eleyat, Mujahed and Natvig, Lasse},
  title = {Mixed-Precision Parallel Linear Programming Solver},
  booktitle = {SBAC-PAD},
  year = {2010},
  pages = {41--46},
  publisher = {IEEE}
}

@inproceedings{Elphic03,
  author = {Elphick, Daniel and Leuschel, Michael and Cox, Simon},
  title = {Partial evaluation of MATLAB},
  booktitle = {GPCE},
  year = {2003},
  pages = {344--363},
  publisher = {Springer-Verlag New York, Inc.}
}

@inproceedings{Endo08,
  author = {Endo, T and Matsuoka, S},
  title = {Massive supercomputing coping with heterogeneity of modern accelerators},
  booktitle = {IPDPS},
  year = {2008},
  pages = {1--10},
  publisher = {IEEE}
}

@Article{Ershov58,
  AUTHOR       = {A. P. Ershov},
  YEAR         = {1958},
  TITLE        = {On programming of arithmetic operations},
  JOURNAL      = {Communications of the ACM},
  publisher    = {ACM Press},
  volume       = {1},
  number       = {8},
  pages        = {3-6}
}

@TechReport{Evlogimenos04,
  author =       "Alkis Evlogimenos",
  title =        "Improvements to Linear Scan register allocation",
  institution =  "University of Illinois, Urbana-Champaign",
  year =         2004
}

@article{Eyerman09,
 author = {Eyerman, Stijn and Eeckhout, Lieven},
 title = {Per-thread cycle accounting in SMT processors},
 journal = {ASPLOS},
 volume = {44},
 number = {3},
 year = {2009},
 pages = {133--144},
 publisher = {ACM}
}

@inproceedings{Fabri79,
  author = {Fabri, Janet},
  title = {Automatic storage optimization},
  booktitle = {CC},
  year = {1979},
  pages = {83--91},
  publisher = {ACM}
}

@inproceedings{Fahndrich98,
    author    = {Manuel Fahndrich and
                 Jeffrey S. Foster and
                 Zhendong Su and
                 Alexander Aiken},
    title     = {Partial online cycle elimination in inclusion constraint
                 graphs},
    booktitle = {PLDI},
  PUBLISHER  = {ACM},
    year      = {1998},
    pages     = {85 -- 96}
}

@article{Fahndrich06,
 author = {Manuel F\"{a}hndrich and Mark Aiken and Chris Hawblitzel and Orion Hodson and Galen Hunt and James R. Larus and Steven Levi},
 title = {Language support for fast and reliable message-based communication in singularity OS},
 journal = {SIGOPS Oper. Syst. Rev.},
 volume = {40},
 number = {4},
 year = {2006},
 pages = {177 -- 190},
 publisher = {ACM}
}

@InProceedings{Farach98,
  AUTHOR       = {Martin Farach and Vincenzo Liberatore},
  YEAR         = {1998},
  TITLE        = {On local register allocation},
  BOOKTITLE    = {9th ACM-SIAM symposium on Discrete Algorithms},
  publisher    = {ACM Press},
  pages        = {564 -- 573}
}

@Article{Farach00,
  AUTHOR       = {Martin Farach-colton and Vincenzo Liberatore},
  YEAR         = {2000},
  TITLE        = {On Local Register Allocation},
  JOURNAL      = {Journal of Algorithms},
  publisher    = {Academic Press},
  volume       = {37},
  number       = {1},
  pages        = {37 -- 65}
}

@article{Farrell96,
  author = {Craig A. Farrell and Dorota H. Kieronska},
  journal = {Theo. Comp. Science},
  number = {1},
  pages = {39--65},
  title = {{Formal specification of parallel SIMD execution}},
  volume = {169},
  year = {1996}
}

@article{Ferrante87,
  author = {Ferrante, J. and Ottenstein, K. and Warren, J.},
  journal = {TOPLAS},
  number = {3},
  pages = {319--349},
  title = {{The program dependence graph and its use in optimization}},
  volume = {9},
  year = {1987}
}

@inproceedings{Ferreira05,
  author = {Ferreira, Renato   and Meira, Wagner   and Guedes, Dorgival   and Drummond, L\'{u}cia   and Coutinho, Bruno   and Teodoro, George   and Tavares, T\'{u}lio   and Ara\'{u}jo, Renata   and Ferreira, Guilherme  },
  booktitle = {SBAC-PAD},
  publisher = {IEEE Computer Society Press},
  title = {Anthill: A Scalable Run-Time Environment for Data Mining Applications},
  pages = "159 -- 167",
  year = {2005}
}

@Article{Ferriere04,
  AUTHOR     = {Fran\c{c}ois de Ferri\'{e}re and Christophe Guillon and Fabrice Rastello},
  YEAR       = 2004,
  TITLE      = "Optimizing the Translation Out-of-{SSA} with Renaming Constraints",
  JOURNAL    = {ST Journal of Research Processor Architecture and Compilation for Embedded Systems},
  volume     = {1},
  number     = {2},
  publisher  = {STMicroelectronics},
  pages      = {81-96}
}

@article{Fisher81,
  author = {Joshph A. Fisher},
  title = {Trace Scheduling: A Technique for Global Microcode Compaction},
  journal = "Trans. Comput.",
  volume = {30},
  issue = {7},
  year = {1981},
  pages = {478--490},
  numpages = {13},
  publisher = {IEEE}
} 

@Book{Flanagan01,
  AUTHOR     = {David Flanagan},
  YEAR       = 2001,
  TITLE      = "JavaScript: The Definitive Guide",
  publisher  = "O'Reilly",
  edition    = "4",
}

@InProceedings{Foster02,
  AUTHOR     = "Foster, J. S. and Terauchi, T. and Aiken, A.",
  YEAR       = 2002,
  TITLE      = "Flow-Sensitive Type Qualifiers",
  booktitle  = {PLDI},
  publisher  = {ACM},
  pages      = {1--12}
}

@book{Nielson99,
  author = "Flemming Nielson and Hanne R. Nielson and Chris Hankin",
  publisher = {Springer},
  title = "Principles of Program Analysis",
  year = {1999}
}

@article{Flynn72,
    author = {Flynn, M.},
    journal = {IEEE Trans. Comput.},
    pages = {948+},
    title = "Some Computer Organizations and Their Effectiveness",
    volume = {C-21},
    year = {1972}
}

@book{Fourer02,
  author = {Robert Fourer and David  M. Gay and Brian W. Kernighan},
  publisher = {{Duxbury Press}},
  title = {AMPL: A Modeling Language for Mathematical Programming},
  year = {2002}
}

@Article{Freiburghouse74,
  AUTHOR     = {R. A. Freiburghouse},
  YEAR       = 1974,
  TITLE      = "Register allocation via usage counts",
  JOURNAL    = {Communications of the ACM},
  volume     = {17},
  number     = {11},
  publisher  = {ACM},
  pages      = {638-642}
}

@book{Frolund96,
 author = {Frolund, Svend},
 title = {Coordinating distributed objects: an actor-based approach to synchronization},
 year = {1996},
 publisher = {MIT Press}
}

@InProceedings{Fu02,
  AUTHOR     = "Changqing Fu and Ken D. Wilken",
  YEAR       = 2002,
  TITLE      = "A Faster Optimal Register Allocator",
  booktitle  = {MICRO},
  publisher  = {IEEE},
  pages      = {245-256}
}

@inproceedings{Fung07,
  author = {Fung, Wilson W. L. and Sham, Ivan and Yuan, George and Aamodt, Tor M.},
  title = "Dynamic Warp Formation and Scheduling for Efficient {GPU} Control Flow",
  booktitle = {MICRO},
  year = {2007},
  pages = {407--420},
  publisher = {IEEE}
}

@InProceedings{Gal09,
 author = {Andreas Gal and Brendan Eich and Mike Shaver and David Anderson and Blake Kaplan and Graydon Hoare and David Mandelin and Boris Zbarsky and Jason Orendorff and Jess Ruderman and Edwin Smith and Rick Reitmair and Mohammad R. Haghighat and Michael Bebenita and Mason Change and Michael Franz},
 title = {Trace-based Just-in-Time Type Specialization for Dynamic Languages},
 booktitle = {PLDI},
 year = {2009},
 pages = {465 -- 478},
 publisher = {ACM}
}

@PhdThesis{Gal06,
  author="Andreas Gal",
  title="Efficient Bytecode Verification and Compilation in a Virtual Machine",
  school="University of California, Irvine",
  year="2006"
}

@inproceedings{Gal06b,
  author    = {Andreas Gal and
               Christian W. Probst and
               Michael Franz},
  title     = {HotpathVM: an effective JIT compiler for resource-constrained
               devices},
  booktitle = {VEE},
  year      = {2006},
  pages     = {144-153}
}

@TechReport{Gal06c,
  author="Andreas Gal and Michael Franz",
  title="Incremental Dynamic Code Generation with Trace Trees",
  institution="University of California, Irvine",
  year="2006",
  number="06-16"
}

@InProceedings{Galil84,
  author    = {Galil, Z.},
  title     = "Optimal Parallel Algorithms for String Matching",
  booktitle = {STOC},
  year      = {1984},
  pages     = {48--59}
}


@article{Gampe11,
  author = {Andreas Gampe and Jeffery von Ronne and David Niedzielski and
    Jonathan Vasek and Leanthis Psarris},
  title = "Safe, multiphase bounds check elimination in Java",
  journal = "Software: Practice and Experience",
  volume = "41",
  year = "2011",
  pages = "753--788",
  publisher = "John Wiley and Sons"
}


@article{Garey76,
  author = {Garey, M. R. and Johnson, D. S. and Sockmeyer, L},
  title = "Some simplified {NP}-complete problems",
  journal = "Theoretical Computer Science",
  volume = "1",
  issue = {3},
  year = "1976",
  pages = "193--267",
  publisher = "Elsevier"
}


@article{Garey80,
  author = {Garey, M. R. and Johnson, D. S. and Miller, G. L. and Papadimitriou, C. H},
  title = "The complexity of coloring circular arcs and chords",
  journal = "J. Algebraic Discrete Methods",
  volume = "1",
  issue = {2},
  year = "1980",
  pages = "216--227",
  publisher = "{SIAM}"
}


@article{Garland08,
  author = {Garland, Michael},
  title = "Parallel Computing Experiences with {CUDA}",
  journal = "{IEEE} Micro",
  volume = {28},
  issue = {4},
  year = {2008},
  pages = {13--27},
  publisher = {IEEE}
}

@article{Garland10,
  author = {Garland, Michael and Kirk, David B.},
  title = {Understanding throughput-oriented architectures},
  journal = {Commun. ACM},
  volume = {53},
  issue = {11},
  year = {2010},
  pages = {58--66},
  publisher = {ACM}
}

@Article{Gavril74,
  AUTHOR     = {Fanica Gavril},
  YEAR       = {1974},
  TITLE      = {The intersection graphs of subtrees of a tree are exactly the chordal graphs},
  JOURNAL    = {Journal of Combinatorial Theory, Series B},
  publisher  = {Elsevier},
  volume     = {16},
  number     = {1},
  pages      = {47 -- 56},
}

@Article{Gavril75,
  author    = {Fanica Gavril},
  title     = "A Recognition Algorithm For the Intersection Graphs of Directed Paths in Directed Trees",
  journal   = {Discrete Mathematics},
  volume    = {13},
  publisher = {Elsevier},
  year      = {1975},
  pages     = {237 -- 249}
}

@Article{Gawlitza09,
  author    = {T. Gawlitza and J. Leroux and J. Reineke and H.
    Seidl and G. Sutre and R. Wilhelm},
  title     = "Polynomial Precise Interval Analysis Revisited",
  journal   = {Efficient Algorithms},
  volume    = {1},
  publisher = {Springer},
  year      = {2009},
  pages     = {422 -- 437}
}

@Article{George96,
  AUTHOR     = {Lal George and Andrew W. Appel},
  YEAR       = 1996,
  TITLE      = "Iterated Register Coalescing",
  JOURNAL    = {TOPLAS},
  volume     = {18},
  number     = {3},
  publisher  = {ACM Press},
  pages      = {300-324}
}

@inproceedings{George03,
  author = {George, Lal and Blu Matthias},
  title = {Taming the IXP network processor},  booktitle = {PLDI},
  year = {2003},
  location = {San Diego, California, USA},
  pages = {26--37},
  numpages = {12},
  publisher = {ACM}
}

@inproceedings{Ghiya98,
  author = {Ghiya, Rakesh and Hendren, Laurie J.},
  title = {Putting pointer analysis to work},
  booktitle = {POPL},
  year = {1998},
  pages = {121--133},
  publisher = {ACM}
}

@book{Gibbons88,
  author = {Alan Gibbons},
  title = {Efficient Parallel Algorithms},
  year = 1988,
  publisher = {Cambridge University Press}
}

@inproceedings{Godefroid05,
  author = {Godefroid, Patrice and Klarlund, Nils and Sen, Koushik},
  title = {DART: directed automated random testing},
  booktitle = {PLDI},
  year = {2005},
  pages = {213--223},
  publisher = {ACM}
}

@inproceedings{Goes05,
  author    = {Lu\'{\i}s Fabr\'{\i}cio Wanderley G{\'o}es and
          Pedro H. C. Guerra and
                  Bruno Coutinho and
                  Leonardo C. da Rocha and                        Wagner Meira Jr. and
                  Renato Ferreira and                        Dorgival Olavo Guedes Neto and
                  Walfredo Cirne},
  title     = {AnthillSched: A Scheduling Strategy for Irregular and Iterative
          I/O-Intensive Parallel Jobs},
  booktitle = {JSSPP},
  year      = {2005},
  pages     = {108-122},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Goldberg91,
 author = {Goldberg, David},
 title = {What every computer scientist should know about floating-point arithmetic},
 journal = {Comput. Surv.},
 volume = {23},
 issue = {1},
 year = {1991},
 pages = {5--48},
 publisher = {ACM}
} 

@Article{Golumbic78,
  AUTHOR     = {Martin Charles Golumbic},
  YEAR       = {1978},
  TITLE      = {Trivially Perfect Graphs},
  JOURNAL    = {Discrete Mathematics},
  volume     = {24},
  pages      = {105 -- 107},
}

@Book{Golumbic04,
  AUTHOR     = {Martin Charles Golumbic},
  YEAR       = {2004},
  TITLE      = {Algorithmic Graph Theory and Perfect Graphs},
  PUBLISHER  = {Elsevier},
  edition    = {1st},
}

@Article{Goodwin96,
  author = "David W. Goodwin and Ken D. Wilken",
  title = "Optimal and near-optimal global register allocations using 0-1 integer programming",
  journal = "SPE",
  volume = "26",
  number = "8",
  pages = "929-965",
  year = "1996"
}

@book{Gosling05,
 author = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
 title = {Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))},
 year = {2005},
 publisher = {Addison-Wesley Professional}
}

@Book{Gough05,
  AUTHOR     = "Brian J. Gough",
  YEAR       = 2005,
  TITLE      = "An Introduction to GCC",
  Edition    = "1st",
  PUBLISHER  = "Network Theory Ltd"
}

@TechReport{Gough94,
  author = {John Gough and Herbert Klaeren},
  institution = "Queensland University of Technology",
  title = {Eliminating Range Checks Using Static Single Assignment Form},
  year = {1994}
}

@inproceedings{Govindarajan96,
 author = {R. Govindarajan and S. Rengarajan},
 title = {Buffer Allocation in Regular Dataflow Networks: An Approach Based on Coloring Circular-Arc Graphs},
 booktitle = {HIPC},
 year = {1996},
 isbn = {0-8186-7557-8},
 pages = {419},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@Article{Govindarajan03,
  AUTHOR = "R. Govindarajan and Hongbo Yang and Jose Nelson Amaral and Chihong Zhang and Guang R. Gao",
  TITLE = "Minimum Register Instruction Sequencing to Reduce Register Spills in Out-of-Order Issue Superscalar Architectures",
  JOURNAL = "{IEEE} Transactions on Computers archive",
  VOLUME = "52",
  NUMBER = "1",
  PAGES = "4--20",
  YEAR = "2003"
}

@proceedings{Govindarajan10,
  editor    = {R. Govindarajan and
    David A. Padua and
      Mary W. Hall},
  title     = {Proceedings of the 15th ACM SIGPLAN Symposium on Principles
    and Practice of Parallel Programming, Bangalore,
    India, January 9-14, 2010},
  booktitle = {PPOPP},
  publisher = {ACM},
  year      = {2010}
}

@inproceedings{Graham82,
  author    = {Susan L. Graham and
               Peter B. Kessler and
               Marshall K. McKusick},
  title     = {gprof: a call graph execution profiler (with retrospective)},
  booktitle = {Best of PLDI},
  year      = {1982},
  pages     = {49-57}
}

@inproceedings{Guo11,
 author = {Shu-yu Guo and Jens Palsberg},
 title = {The Essence of Compiling with Traces},
 booktitle = {POPL},
 year = {2011},
 pages = {to appear},
 publisher = {ACM}
}

@proceedings{Gupta08,
  editor    = {Rajiv Gupta and
               Saman P. Amarasinghe},
  title     = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming
               Language Design and Implementation, Tucson, AZ, USA, June
               7-13, 2008},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2008}
}

@InProceedings{Grund07,
  author    = "Daniel Grund and Sebastian Hack",
  title     = "A Fast Cutting-Plane Algorithm for Optimal Coalescing",
  booktitle = "Compiler Construction",
  pages     = "111-115",
  volume    = 4420,
  publisher = "Springer",
  year      = 2007
}

@TechReport{Hack05b,
  author =       "Sebastian Hack and Daniel Grund and Gerhard Goos",
  title =        "Towards Register Allocation for Programs in {SSA}-form",
  institution =  "Universitat Karlsruhe",
  year =         2005,
  number =       {ISSN 1432-7864},
  note =         "http://www.info.uni-karlsruhe.de/publications.php/id=394 --
                  accessed October 13, 2005."
}

@TechReport{Hack05a,
  AUTHOR = "Sebastian Hack",
  YEAR = "2005",
  TITLE = "Interference Graphs of Programs in {SSA}-form",
  number =       {ISSN 1432-7864},
  INSTITUTION = "Universitat Karlsruhe"
}

@InProceedings{Hack06a,
  author    = "Sebastian Hack and Daniel Grund and Gerhard Goos",
  title     = "Register allocation for programs in {SSA}-form",
  booktitle = "CC",
  year      = 2006,
  pages     = "247-262",
  publisher = "Springer-Verlag"
}

@Article{Hack06b,
  author    = "Sebastian Hack and Gerhard Goos",
  title     = "Optimal register allocation for {SSA}-form programs in polynomial time",
  journal   = "Information Processing Letters",
  volume    = "98",
  number    = "4",
  year      = 2006,
  pages     = "150-155",
  publisher = "Elsevier"
}

@PhdThesis{Hack07,
  title = {{R}egister {A}llocation for {P}rograms in {SSA} {F}orm},
  school = {Universit\"at Karlsruhe},
  publisher = {Universit\"atsverlag Karlsruhe},
  year = {2007},
  author = {Sebastian Hack}
}

@inproceedings{Hack08,
  author    = {Sebastian Hack and
               Gerhard Goos},
  title     = {Copy coalescing by graph recoloring},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {2008},
  pages     = {227-237}
}

@inproceedings{Hafer78,
 author = {Louis J. Hafer and Alice C. Parker},
 title = {Register-transfer level digital design automation: The allocation process},
 booktitle = {DAC '78: Proceedings of the 15th conference on Design automation},
 year = {1978},
 pages = {213--219},
 location = {Las Vegas, Nevada, United States},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
}

@article{Hall09,
 author = {Hall,, Mary and Padua,, David and Pingali,, Keshav},
 title = {Compiler research: the next 50 years},
 journal = {Commun. ACM},
 volume = {52},
 number = {2},
 year = {2009},
 pages = {60--67},
 publisher = {ACM}
}

@article{Haller09,
 author = {Haller, Philipp and Odersky, Martin},
 title = {Scala Actors: Unifying thread-based and event-based programming},
 journal = {Theor. Comput. Sci.},
 volume = {410},
 number = {2-3},
 year = {2009},
 pages = {202--220},
 publisher = {Elsevier Science Publishers Ltd.}
}

@InProceedings{Hammer06,
  AUTHOR     = {Hammer, C. and Krinke, J. and Snelting, G.},
  TITLE      = "Information Flow Control for Java Based on Path Conditions in
    Dependence Graphs",
  booktitle  = {ISSSE},
  publisher  = {IEEE},
  pages      = {1--10},
  YEAR       = 2006
}

@InProceedings{Hames06,
  AUTHOR     = {Lang Hames and Bernhard Scholz},
  YEAR       = 2006,
  TITLE      = "Nearly Optimal Register Allocation with {PBQP}",
  booktitle  = {JMLC},
  publisher  = {Springer},
  pages      = {346-361}
}

@inproceedings{Han09,
  author = {Han, Tianyi David and Abdelrahman, Tarek S.},
  title = {hiCUDA: a high-level directive-based language for GPU programming},
  booktitle = {GPGPU-2},
  year = {2009},
  pages = {52--61},
  publisher = {ACM}
}

@inproceedings{Han11,
  author = {Han, Tianyi David and Abdelrahman, Tarek S.},
  title = {Reducing branch divergence in GPU programs},
  booktitle = {GPGPU-4},
  year = {2011},
  pages = {3:1--3:8},
  articleno = {3},
  publisher = {ACM}
}

@INPROCEEDINGS{Hank93,
  author = {Richard E. Hank and Scott A. Mahlke and Roger A. Bringmann and John C. Gyllenhaal and Wen-mei W. Hwu},
  title = {Superblock formation using static program analysis},
  booktitle = {MICRO},
  year = {1993},
  pages = {247--255},
  publisher = {IEEE}
}

@techreport{Harris08,
    author = "Mark Harris",
    title = "The Parallel Prefix Sum (Scan) with {CUDA}",
    number = "Initial release on February 14, 2007",
    institution = "NVIDIA",
    pages = "18",
    year = "2008"
}

@article{Harrison77,
 author = {Harrison, W. H.},
 title = {Compiler Analysis of the Value Ranges for Variables},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {3},
 number = {3},
 year = {1977},
 pages = {243--250},
 publisher = {IEEE}
}

@book{Hecht77,
  author = {Hecht, Matthew S.},
  title = {Flow Analysis of Computer Programs},
  year = {1977},
  publisher = {Elsevier}
}

@article{Henning06,
  author = {Henning, John L.},
  title = {SPEC CPU2006 benchmark descriptions},
  journal = {SIGARCH Comput. Archit. News},
  volume = {34},
  number = {4},
  year = {2006},
  pages = {1--17},
  publisher = {ACM}
}

@InProceedings{Hendren07,
  AUTHOR       = {Laurie J. Hendren},
  YEAR         = {2007},
  TITLE        = {The Future of Compiler Education},
  booktitle    = {Workshop of Future Directions of Compiler Research},
  publisher    = {University of Southern California},
}

@Book{Hennessy03,
  AUTHOR     = {John L. Hennessy and David A Patterson},
  YEAR       = 2003,
  TITLE      = "Computer Architecture: A Quantitative Approach",
  publisher  = "Elsevier",
  edition    = "3rd",
}

@inproceedings{Hardekopf07a,
  author    = {Ben Hardekopf and
               Calvin Lin},
  title     = {The ant and the grasshopper: fast and accurate pointer analysis
               for millions of lines of code},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {2007},
  pages     = {290-299}
}

@inproceedings{Hardekopf07b,
  author    = {Ben Hardekopf and Calvin Lin},
  title     = {Exploiting Pointer and Location Equivalence to Optimize
               Pointer Analysis},
  booktitle = {SAS},
  year      = {2007},
  pages     = {265-280}
}

@inproceedings{Hardekopf11,
  author    = {Ben Hardekopf and Calvin Lin},
  title     = {Flow-Sensitive Pointer Analysis for Millions of Lines of Code},
  booktitle = {CGO},
  year      = {2011},
  pages     = {265-280}
}

@inproceedings{Heintze01,
  author    = {Nevin Heintze and Olivier Tardieu},
  title     = "Ultra-fast Aliasing Analysis using {CLA}: A Million Lines
               of {C} Code in a Second",
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {2001},
  pages     = {254-263}
}

@book{Hennessy02,
  author = {Hennessy, John  L.  and Patterson, David  A. },
  publisher = {{Morgan Kaufmann}},
  title = {Computer Architecture: A Quantitative Approach (The Morgan Kaufmann Series in Computer Architecture and Design)},
  year = {2002}
}

@article{Hochstadt08,
  author    = {Sam Tobin-Hochstadt and Matthias Felleisen},
  title     = {The design and implementation of typed scheme},
  journal = {POPL},
  year      = {2008},
  pages     = {395-406},
  publisher = {ACM}
}

@inproceedings{Hofstee05,
  author = {H. Peter Hofstee},
  title = {Power Efficient Processor Architecture and The Cell Processor},
  booktitle = {HPCA},
  year = {2005},
  pages = {258--262},
  publisher = {IEEE Computer Society}
}

@inproceedings{Hong09,
  author = "Songpack Hong and Sang Kyun Kim and Tayo Oguntebi and Kunle Olukotun",
  title = "Accelerating {CUDA} Graph Algorithms at Maximum Warp",
  booktitle = {PPoPP},
  year = {2011},
  pages = {},
  publisher = {ACM}
}

@inproceedings{Lakhdar11,
  author = {Lakhdar-Chaouch, Lies and Jeannet, Bertrand and Girault, Alain},
  title = {Widening with thresholds for programs with complex control graphs},
  booktitle = {ATVA},
  year = {2011},
  pages = {492--502},
  publisher = {Springer-Verlag}
}

@InProceedings{Lhairech10,
  author    = {Lhairech-Lebreton, G and Coussy, P and Heller, D. and
  Martin, E.},
  title     = {Bitwidth-aware high-level synthesis for designing low-power DSP applications},
  booktitle = {ICECS},
  year      = {2010},
  publisher = {IEEE},
  pages     = {531--534}
}

@InProceedings{Lhotak03,
  author    = {Ondrej Lhot{\'a}k and
               Laurie J. Hendren},
  title     = {Scaling Java Points-to Analysis Using SPARK},
  booktitle = {CC},
  year      = {2003},
  publisher = "Springer",
  pages     = {153-169}
}

@inproceedings{Lo98,
  author = {Lo, Raymond and Chow, Fred and Kennedy, Robert and Liu, Shin-Ming and Tu, Peng},
  title = {Register promotion by sparse partial redundancy elimination of loads 
and stores},
  booktitle = {PLDI},
  year = {1998},
  pages = {26--37},
  numpages = {12},
  publisher = {ACM}
}

@InProceedings{Logozzo08,
  author    = {Fancesco Logozzo and Manuel Fahndrich},
  title     = "Pentagons: a Weakly Relational Abstract Domain for the
  Efficient Validation of Array Accesses",
  booktitle = {SAC},
  year      = {2008},
  pages     = {184--188},
  publisher = {ACM}
}

@inproceedings{Logozzo10,
  author    = {Francesco Logozzo and
               Herman Venter},
  title     = "{RATA}: Rapid Atomic Type Analysis by Abstract Interpretation
               - Application to JavaScript Optimization",
  booktitle = {CC},
  year      = {2010},
  pages     = {66-83},
  publisher = "Springer-Verlag"
}

@InProceedings{Lokuciejewski09,
  author    = {Paul Lokuciejewski and Daniel Cordes and Heiko Falk and
    Peter Marwedel},
  title     = "A Fast and Precise Static Loop Analysis based on Abstract
    Interpretation, Program Slicing and Polytope Models",
  booktitle = {CGO},
  year      = {2009},
  publisher = {IEEE},
  pages     = {136-146}
}

@InProceedings{Hirnschrott03,
  AUTHOR     = "Ulrich Hirnschrott and Andreas Krall and Bernhard Scholz",
  YEAR       = 2003,
  TITLE      = "Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers",
  booktitle  = {JMLC},
  publisher  = {Springer},
  pages      = {202-213}
}

@article{Horwitz97,
  author    = {Susan Horwitz},
  title     = "Precise Flow-Insensitive May-Alias Analysis is {NP}-Hard",
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {19},
  number    = {1},
  year      = {1997},
  pages     = {1-6}
}

@Book{Ierusalimschy03,
  AUTHOR     = {Roberto Ierusalimschy},
  YEAR       = 2003,
  TITLE      = "Programming in Lua",
  publisher  = "Lua.org",
  edition    = "1st",
}

@inproceedings{Inoue09,
  author    = {Hiroshi Inoue and
               Hideaki Komatsu and
               Toshio Nakatani},
  title     = {A study of memory management for web-based applications
               on multicore processors},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {2009},
  pages     = {386-396}
}

@inproceedings{Jablin11,
  author = {Jablin, Thomas B. and Prabhu, Prakash and Jablin, James A. and Johnson, Nick P. and Beard, Stephen R. and August, David I.},
  title = {Automatic CPU-GPU communication management and optimization},
  booktitle = {PLDI},
  year = {2011},
  pages = {142--151},
  publisher = {ACM}
}

@Book{Jain91,
  title = "The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling.",
  series = "Wiley professional computing",
  author = "Raj Jain",
  publisher = "John Wiley \& Sons, Inc.",
  year = 1991
}

@inproceedings{Jang10,
  author = {Byunghyun Jang, Dana Schaa, Perhaad Mistry and David Kaeli},
  title = "Static Memory Access Pattern Analysis on a Massively Parallel {GPU}",
  booktitle = {PLDI},
  year = {SAAHPC},
  publisher = {ACM}
}

@Misc{Jikes06,
    Author = "The Jikes Team",
    Title  = "Jikes {RVM} Home Page",
    Note   = "http://jikesrvm.sourceforge.net/",
    Year   = "2007"
}

@Book{Jones93,
  AUTHOR     = "Neil D. Jones and Carsten K Gomard and Peter Sestoft",
  YEAR       = 1993,
  TITLE      = {Partial Evaluation and Automatic Program Generation},
  publisher  = "Prentice Hall",
  edition    = "1st",
}

@InProceedings{Johnson93,
    author = "Richard Johnson and Keshav Pingali",
    title = "Dependence-Based Program Analysis",
    booktitle = "PLDI",
  PUBLISHER  = {ACM},
    pages = "78-89",
    year = "1993"
}

@InProceedings{Johnson94,
  author = "R. Johnson and D. Pearson and K. Pingali",
  title = "The Program Tree Structure",
  booktitle = "PLDI",
  PUBLISHER  = {ACM},
  pages = "171--185",
  year = "1994"
}

@InProceedings{Johnson03,
  author = "Neil Johnson and Alan Mycroft",
  title = "Combined Code Motion and Register Allocation using the Value State
    Dependence Graph",
  booktitle = "CC",
  year = "2003",
  pages = "1--16",
  publisher = "Springer-Verlag"
}

@inproceedings{Johnson04,
  author    = {Troy A. Johnson and
               Sang Ik Lee and
               Long Fei and
               Ayon Basumallik and
               Gautam Upadhyaya and
               Rudolf Eigenmann and
               Samuel P. Midkiff},
  title     = {Experiences in Using Cetus for Source-to-Source Transformations},
  booktitle = {LCPC},
  year      = {2004},
  pages     = {1-14}
}

@InProceedings{Jovanovic06,
  author = {Nenad Jovanovic and Christopher Kruegel and Engin Kirda},
  title = {Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper)},
  booktitle = {Symposium on Security and Privacy},
  year = {2006},
  pages = {258--263},
  publisher = {IEEE}
}

@inproceedings{Jung05,
  author    = {Yungbum Jung and
    Jaehwang Kim and
      Jaeho Shin and
      Kwangkeun Yi},
  title     = {Taming False Alarms from a Domain-Unaware C Analyzer by
    a Bayesian Statistical Post Analysis},
  booktitle = {SAS},
  year      = {2005},
  pages     = {203-217}
}

@inproceedings{Kahlon08,
  author    = {Vineet Kahlon},
  title     = {Bootstrapping: a technique for scalable flow and
               context-sensitive pointer alias analysis},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {2008},
  pages     = {249-259}
}

@Article{Kannan98,
  AUTHOR     = {Sampath Kannan and Todd A. Proebsting},
  YEAR       = 1998,
  TITLE      = "Register Allocation in Structured Programs",
  JOURNAL    = {Journal of Algorithms},
  volume     = {29},
  number     = {2},
  publisher  = {ACM Press},
  pages      = {223-237}
}

@InCollection{Karp72,
  AUTHOR     = {Richard M Karp},
  YEAR       = 1972,
  TITLE      = "Reducibility Among Combinatorial Problems",
  BOOKTITLE  = "Complexity of Computer Computations",
  PAGES      = "85-103",
  PUBLISHER  = "Plenum"
}

@inproceedings{Karrenberg11,
  author    = {Ralf Karrenberg and
    Sebastian Hack},
  title     = {Whole-function vectorization},
  booktitle = {CGO},
  year      = {2011},
  pages     = {141-150}
}

@book{Kennedy01,
  author    = {Ken Kennedy and Randy Allen},
  title     = {Optimizing Compilers for Modern Architectures:
    A Dependence-based Approach},
  publisher = {Morgan Kaufmann},
  year      = {2001}
}

@inproceedings{Kennedy90,
 author = {Kennedy, Ken and McKinley, Kathryn S.},
 title = {Loop distribution with arbitrary control flow},
 booktitle = {Supercomputing},
 year = {1990},
 pages = {407--416},
 publisher = {IEEE}
}


@article{Kennedy99,
  author    = {Robert Kennedy and
               Sun Chan and
               Shin-Ming Liu and
               Raymond Lo and
               Peng Tu and
               Fred C. Chow},
  title     = "Partial redundancy elimination in {SSA} form",
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {21},
  number    = {3},
  year      = {1999},
  pages     = {627-676}
}

@book{Kernighan78,
  author    = {Brian W. Kernighan and
               Dennis Ritchie},
  title     = {The C Programming Language},
  publisher = {Prentice-Hall},
  year      = {1978}
}

@article{Kempe1879,
  author    = {A. B. Kempe},
  title     = "On the geographical problem of the four colors",
  journal   = {American Journal of Mathematics},
  volume    = {2},
  number    = {1},
  year      = {1879},
  pages     = {193-200}
}

@inproceedings{Kerr09,
  author    = "Andrew Kerr and Gregory F. Diamos and Sudhakar Yalamanchili",
  title     = "A Characterization and Analysis of {PTX} Kernels",
  booktitle = {IISWC},
  publisher = {IEEE},
  year      = {2009},
  pages     = {3-12}
}

@inproceedings{Keryell91,
  author    = "R. Keryell and Ph. Materat and N. Paris",
  title     = "{POMP}, or How to Design a Massively Parallel Machine with
    Small Developments",
  booktitle = {PARLE},
  publisher = {Springer},
  year      = {1991},
  pages     = {83--100}
}

@inproceedings{Knoop92,
  author    = {Jens Knoop and
    Oliver R{\"u}thing and
      Bernhard Steffen},
  title     = {Lazy Code Motion},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {1992},
  pages     = {224-234}
}

@article{Knuth77,
  author    = {Knuth, D. E. and Morris, J. H. and Pratt, V. R.},
  title     = {Fast pattern matching in strings},
  journal   = "{SIAM} Journal of Computing",
  volume    = {6},
  year      = {1977},
  pages     = {322--350}
}

@inproceedings{Koes05,
  author    = {David Koes and
               Seth Copen Goldstein},
  title     = {A Progressive Register Allocator for Irregular Architectures},
  booktitle = {CGO},
  publisher = {IEEE},
  year      = {2005},
  pages     = {269-280}
}

@inproceedings{Koes06,
  author = "David Ryan Koes and Seth Copen Goldstein",
  title = "A global progressive register allocator",
  booktitle = "{PLDI}",
  publisher = {ACM},
  pages = "204-215",
  year = "2006"
}

@InProceedings{Kong98,
  AUTHOR     = {Timothy Kong and Kent D Wilken},
  YEAR       = 1998,
  TITLE      = "Precise Register Allocation for Irregular Architectures",
  booktitle  = {MICRO},
  publisher  = {IEEE},
  pages      = {297-307}
}

@article{Kongetira05,
  author    = {Poonacha Kongetira and
               Kathirgamar Aingaran and
               Kunle Olukotun},
  title     = {Niagara: A 32-Way Multithreaded Sparc Processor},
  journal   = {IEEE Micro},
  volume    = {25},
  number    = {2},
  year      = {2005},
  pages     = {21-29}
}

@InProceedings{Koseki02,
  AUTHOR     = {Akira Koseki and Hideaki Komatsu and Toshio Nakatani},
  YEAR       = "2002",
  TITLE      = "Preference-directed graph coloring",
  BOOKTITLE  = "PLDI",
  PAGES      = "297-307",
  PUBLISHER  = "{ACM}"
}

@inproceedings{Kothari08,
 author = {Kothari, Nupur and Millstein, Todd and Govindan, Ramesh},
 title = {Deriving State Machines from TinyOS Programs Using Symbolic Execution},
 booktitle = {IPSN '08: Proceedings of the 7th international conference on Information processing in sensor networks},
 year = {2008},
 pages = {271--282},
 publisher = {IEEE Computer Society}
}

@inproceedings{Kundu09,
  author = {Kundu, Sudipta and Tatlock, Zachary and Lerner, Sorin},
  title = {Proving optimizations correct using parameterized program equivalence},
  booktitle = {PLDI},
  year = {2009},
  pages = {327--337},
  publisher = {ACM}
}

@article{Kung82,
  author = {Sun-Yuan Kung and Arun, K. S. and Gal-Ezer, R. J. and Bhaskar Rao, D. V.},
  title = {Wavefront Array Processor: Language, Architecture, and Applications},
  journal = {IEEE Trans. Comput.},
  volume = {31},
  issue = {11},
  year = {1982},
  pages = {1054--1066},
  numpages = {13},
  publisher = {IEEE Computer Society}
}

@inproceedings{Kurdahi87,
 author = {F. J. Kurdahi and A. C. Parker},
 title = {REAL: a program for REgister ALlocation},
 booktitle = {DAC},
 year = {1987},
 isbn = {0-8186-0781-5},
 pages = {210--215},
 location = {Miami Beach, Florida, United States},
 doi = {http://doi.acm.org/10.1145/37888.37920},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@misc{LangPop09,
 author = {Many Authors},
 title = {Programming Language Popularity},
 note = {\texttt{http://langpop.com/}},
 year = {2009}
}

@inproceedings{Lam91,
  author    = {Lam, M. S and Rothberg, E. E. and Wolf, M. E.},
  title     = "The cache performance and optimizations of blocked algorithms",
  booktitle = {ASPLOS},
  publisher = {ACM},
  year      = {1991},
  pages     = {63--74}
}

@inproceedings{Lattner04,
  author    = {Chris Lattner and
               Vikram S. Adve},
  title     = "{LLVM}: A Compilation Framework for Lifelong Program Analysis
               {\&} Transformation",
  booktitle = {CGO},
  publisher = {IEEE},
  year      = {2004},
  pages     = {75-88}
}

@InProceedings{Lattner04b,
    author = "Chris Lattner and Vikram Adve",
    title = "The LLVM Compiler Framework and Infrastructure Tutorial",
    booktitle = "{LCPC} Mini Workshop on Compiler Research Infrastructures",
    year = "2004"
}

@inproceedings{Lattner07,
  author    = {Chris Lattner and
               Andrew Lenharth and
               Vikram S. Adve},
  title     = {Making context-sensitive points-to analysis with heap cloning
               practical for the real world},
  booktitle = {PLDI},
  year      = {2007},
  pages     = {278-289},
  publisher = {ACM}
}

@article{Lawrie75,
  author    = {Duncan H. Lawrie and
    T. Layman and
      D. Baer and
      J. M. Randal},
  title     = "Glypnir-A Programming Language for {Illiac IV}",
  journal   = {Commun. ACM},
  volume    = {18},
  number    = {3},
  year      = {1975},
  pages     = {157-164}
}

@InProceedings{Lee07,
    Author = "Jonathan K. Lee and Jens Palsberg and Fernando M. Q. Pereira",
    Title  = "Aliased Register Allocation",
    booktitle = "ICALP",
    Year   = "2007"
}

@Article{Lee08,
    Author = "Jonathan K. Lee and Jens Palsberg and Fernando M. Q. Pereira",
    Title  = "Aliased Register Allocation",
    journal = "Theoretical Computer Science",
    volume = "407",
    number = "1-3",
    pages = "258-273",
    Year  = "2008"
}

@InProceedings{LeeChakravarty09,
  author = {Lee, Sean and Chakravarty, Manuel M. and Grover, Vinod and Keller, Gabriele},
  booktitle={EPHAM},
  title = {{GPU Kernels as Data-Parallel Array Computations in Haskell}},
  year = {2009}
}

@InProceedings{Lee10,
  author = {Victor W Lee and Changkyu Kim and Jatin Chhugani and Michael Deisher            and Daehyun Kim and Anthony D Nguyen and Nadathur Satish and Mikhail
            Smelyanskiy and Srinivas Chennupaty and Per Hammarlund and Ronak
            Singhal and Pradeep Dubey},
  booktitle = {ISCA},
  pages = {451--460},
  title = {{Debunking the 100X GPU vs. CPU myth: an evaluation of throughput computing on CPU and GPU}},
  publisher = {ACM},
  year = {2010}
}

@article{Lefohn06,
  author = {Lefohn, Aaron E. and Sengupta, Shubhabrata and Kniss, Joe and Strzodka, Robert and Owens, John D.},
  title = {Glift: Generic, efficient, random-access GPU data structures},
  journal = {ACM Trans. Graph.},
  volume = {25},
  issue = {1},
  year = {2006},
  pages = {60--99},
  publisher = {ACM}
}

@Article{Lengauer79,
    Author = "Lengauer T. and Tarjan R. E.",
    Title  = "A Fast Algorithm for Finding Dominators in a Flowgraph",
    journal = "TOPLAS",
    volume = "1",
    number = "1",
    pages = "121--141",
    Year  = "1979"
}

@article{Lerner03,
  author = {Lerner, Sorin and Millstein, Todd and Chambers, Craig},
  title = {Automatically proving the correctness of compiler optimizations},
  journal = {SIGPLAN Not.},
  volume = {38},
  number = {5},
  year = {2003},
  pages = {220--231},
  publisher = {ACM}
}

@InProceedings{Leroy06,
  AUTHOR     = {Xavier Leroy},
  YEAR       = 2006,
  TITLE      = "Formal certification of a compiler back-end or: programming a compiler with a proof assistant",
  BOOKTITLE  = "POPL",
  PAGES      = "42-54",
  PUBLISHER  = "ACM Press"
}

@InProceedings{Leung99,
  AUTHOR     = {Allen Leung and Lal George},
  YEAR       = 1999,
  TITLE      = "Static Single Assignment Form for machine Code",
  booktitle  = {PLDI},
  publisher  = {ACM},
  pages      = {204-214}
}

@article{Levy96,
  author = {Elias Levy},
  title = {Smashing The Stack For Fun And Profit},
  journal = {Phrack},
  volume = {7},
  number = {49},
  year = {1996},
  publisher = "\texttt{phrack.org}"
}

@inproceedings{Li04,
  author    = {Bengu Li and Youtao Zhang and Rajiv Gupta},
  title     = {Speculative Subword Register Allocation in Embedded Processors},
  booktitle = {LCPC},
  year      = {2004},
  pages     = {56--71}
}

@article{Lijima93,
  author = {S. Lijima and T. Ichihashi},
  title = {Single-shell Carbon Nanotubes of 1-nm diameter},
  journal = {Nature},
  volume = {363},
  number = {1},
  year = {1993},
  publisher = ""
}

@inproceedings{Lim97,
  author    = "Lim, A. W. and Lam, M. S.",
  title     = {Maximizing parallelism and minimizing synchronization with affine
  transforms},
  booktitle = {POPL},
  year      = {1997},
  pages     = {201--214}
}

@misc{Libra09,
  AUTHOR       = {Mycrosoft},
  YEAR         = {2009},
  TITLE        = {Libra Academic Search},
  note         = {http://libra.msra.cn/}
}

@inproceedings{Macqueen67,
	author = {Macqueen, J. B. },
	booktitle = {Procedings of the Fifth Berkeley Symposium on Math, Statistics, and Probability},
	pages = {281--297},
	publisher = {University of California Press},
	title = {Some Methods for classification and analysis of multivariate observations},
	volume = {1},
	year = {1967}
}

@article{Magnusson02,
  author = {Peter S. Magnusson and Magnus Christensson and Jesper Eskilson and
Daniel Forsgren and Gustav Hallberg and Johan Hogberg and Fredrik Larsson and
Andreas Moestedt and Bengt Werner},
  title = {Simics: A Full System Simulation Platform},
  journal ={Computer},
  volume = {35},
  year = {2002},
  pages = {50-58},
  publisher = {IEEE}
}

@Article{Mahlke01, 
  title={Bitwidth cognizant architecture synthesis of custom hardware accelerators}, 
  author={Mahlke, S. and Ravindran, R. and Schlansker, M. and Schreiber, R. and Sherwood, T.}, 
  journal={Computer-Aided Design of Integrated Circuits and Systems}, 
  year={2001}, 
  volume={20}, 
  number={11}, 
  publisher={IEEE},
  pages={1355-1371},
}

@InProceedings{Makarov07,
  author = {Vladimir N. Makarov},
  title = "The integrated register allocator for {GCC}",
  booktitle = "Gcc Developer's Summit",
  pages = {77 -- 90},
  year = {2007}
}

@Article{Marx06,
  AUTHOR     = {Daniel Marx},
  YEAR       = {2006},
  TITLE      = {Parameterized Coloring Problems on Chordal Graphs},
  JOURNAL    = {Theoretical Computer Science},
  volume     = {351},
  number     = {3},
  pages      = {407-424}
}

@article{Marx06b,
  author = {Marx, D\'{a}niel},
  title = {Precoloring extension on unit interval graphs},
  journal = {Discrete Appl. Math.},
  volume = {154},
  number = {6},
  year = {2006},
  pages = {995--1002},
  publisher = {Elsevier}
}

@InProceedings{Mata09,
	author = {Leonardo L. P. da Mata and Fernando M. Q. Pereira and
        Renato Ferreira},
	booktitle = {Simp\'osio Brasileiro de Linguagens de Programacao},
	pages = {01 -- 15},
	title = {Automatic Parallelization of Canonical Loops},
	year = {2009}
}

@article{Mata11,
  author = {Leonardo L. P. da Mata and Fernando M. Q. Pereira and
    Renato Ferreira},
  title = {Automatic Parallelization of Canonical Loops},
  journal = {Science of Computer Programming},
  volume    = {X},
  number    = {X},
  year      = {2011},
  publisher = "Elsevier",
  note      = "Artigo convidado para edi\c{c}\~{a}o especial do SBLP 2009.
    Publica\c{c}\~{a}o impressa prevista para 2012.",
  pages     = {2--31}
}

@article{May89,
  author    = {Cathy May},
  title     = {The Parallel Assignment Problem Redefined},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {15},
  number    = {6},
  year      = {1989},
  pages     = {821-824}
}

@inproceedings{Meng10,
  author = {Meng, Jiayuan and Tarjan, David and Skadron, Kevin},
  title = {Dynamic warp subdivision for integrated branch and memory divergence tolerance},
  booktitle = {ISCA},
  year = {2010},
  pages = {235--246},
  publisher = {ACM}
}

@article{Miller95,
  author = {Barton P. Miller and Mark D. Callaghan and Jonathan M. Cargille and
  Jeffrey K. Hollingsworth and R. Bruce Irvin and Karen L. Karavanic and
  Krishna Kunchithapadam and Tia Newhall},
  title = {The Paradyn Parallel Performance Measurement Tool},
  journal ={Computer},
  volume = {28},
  year = {1995},
  pages = {37-46},
  publisher = {IEEE}
}

@article{McCarthy60,
  author = {McCarthy, John},
  title = {Recursive functions of symbolic expressions and their computation by machine, Part I},
  journal = {Communications of ACM},
  volume = {3},
  number = {4},
  year = {1960},
  pages = {184--195},
  publisher = {ACM}
}

@article{Mine06,
  author = {Min\'{e}, Antoine},
  title = {The octagon abstract domain},
  journal = {Higher Order Symbol. Comput.},
  volume = {19},
  issue = {1},
  year = {2006},
  issn = {1388-3690},
  pages = {31--100}
}

@inproceedings{Bertrane10,
 author    = {Bertrane, J{.} and Cousot, P{.} and Cousot, R{.} and Feret, J{.} and Mauborgne, L{.} and Min{\'e}, A{.} and Rival, X{.}},
 title     = {Static Analysis and Verification of Aerospace Software by Abstract Interpretation},
 booktitle = {I$@$A},
 year      = {2010},
 publisher = {AIAA},
 pages     = {1--38}
}

@inproceedings{Minwen98,
 author = {Ji, Minwen and Felten, Edward W. and Li, Kai},
 title = {Performance measurements for multithreaded programs},
 booktitle = {SIGMETRICS},
 year = {1998},
 pages = {161--170},
 publisher = {ACM}
}

@article{Minwook07,
  author = {Ahn, Minwook and Lee, Jooyeon and Paek, Yunheung},
  title = {Optimistic coalescing for heterogeneous register architectures},
  journal = {SIGPLAN Notices},
  volume = {42},
  number = {7},
  year = {2007},
  pages = {93--102},
  publisher = {ACM}
}

@Article{Monma86,
  author    = {Clyde L. Monma and V. K. Wei},
  title     = "Intersection graphs of paths in a tree",
  journal   = {Journal of Combinatorial Theory, Series B},
  volume    = {41},
  publisher = {Elsevier},
  number    = {2},
  year      = {1986},
  pages     = {141 -- 181}
}

@inproceedings{Molnar09,
 author = {Molnar, David and Li, Xue Cong and Wagner, David A.},
 title = {Dynamic test generation to find integer bugs in x86 binary linux programs},
 booktitle = {SSYM},
 year = {2009},
 pages = {67--82},
 publisher = {USENIX}
}

@InProceedings{Mossenbock02,
  AUTHOR     = "Hanspeter Mossenbock and Michael Pfeiffer",
  YEAR       = 2002,
  TITLE      = "Linear Scan Register Allocation in the Context of {SSA} Form and Register Constraints",
  booktitle  = {CC},
  publisher  = {LNCS},
  pages      = {229-246}
}

@article{Morel79,
  author = {Morel, E. and Renvoise, C.},
  title = {Global optimization by suppression of partial redundancies},
  journal = {Commun. ACM},
  volume = {22},
  number = {2},
  year = {1979},
  pages = {96--103},
  publisher = {ACM}
}

@inproceedings{Morihata09,
 author = {Akimasa and Matsuzaki,, Kiminori and Hu,, Zhenjiang and Takeichi,, Masato},
 title = {The third homomorphism theorem on trees: downward \& upward lead to divide-and-conquer},
 booktitle = {POPL},
 year = {2009},
 pages = {177--185},
 publisher = {ACM}
}

@InProceedings{Morita07,
  AUTHOR       = {Kazutaka Morita and Akimasa Morihata and Kiminori Matsuzaki and Zhenjiang Hu and Masato Takeichi},
  YEAR         = {2007},
  TITLE        = {Automatic inversion generates divide-and-conquer parallel programs},
  BOOKTITLE    = {PLDI},
  publisher    = {ACM},
  pages        = "146-155"
}

@InProceedings{Morrisett98,
  AUTHOR     = "Greg Morrisett and David Walker and Karl Crary and Neal Glew",
  YEAR       = 1998,
  TITLE      = "From System {F} to typed assembly language",
  BOOKTITLE  = "POPL",
  PAGES      = "85-97",
  PUBLISHER  = "ACM Press"
}

@inproceedings{Boisvert10,
  author    = {Maxime Chevalier-Boisvert and Laurie J. Hendren and
      Clark Verbrugge},
  title     = {Optimizing Matlab through Just-In-Time Specialization},
  booktitle = {CC},
  year      = {2010},
  PUBLISHER  = "Springer",
  pages     = {46-65}
}


@techreport{Motwani95,
    author = "Rajeev Motwani and Krishna V. Palem and Vivek Sarkar and Salem Reyen",
    title = "Combining Register Allocation and Instruction Scheduling",
    number = "CS-TN-95-22",
    pages = "17",
    year = "1995"
}

@Book{Mount04,
  AUTHOR       = {David W. Mount},
  YEAR         = {2004},
  TITLE        = {Bioinformatics: Sequence and Genome Analysis},
  Edition      = {1st},
  publisher    = {Cold Sprint Harbor Laboratory Press}
}

@inproceedings{Mu10,
  author    = {Shuai Mu and
    Xinya Zhang and
      Nairen Zhang and
      Jiaxin Lu and
      Yangdong Steve Deng and
      Shu Zhang},
  title     = {IP routing processing with graphic processors},
  booktitle = {DATE},
  year      = {2010},
  publisher = {IEEE},
  pages     = {93-98}
}

@book{Muchnick97,
  author = {Muchnick, Steven  S. },
  publisher = {Morgan Kaufmann},
  title = {Advanced Compiler Design and Implementation},
  year = {1997}
}

@InProceedings{Mytkowicz10,
  AUTHOR     = "Todd Mytkowicz and Amer Diwan and Matthias Hauswirth and Peter F. Sweeney",
  YEAR       = 2010,
  TITLE      = "Evaluating the Accuracy of Java Profilers",
  BOOKTITLE  = "PLDI",
  PAGES      = "187--197",
  PUBLISHER  = "ACM"
}

@Article{Naik04,
  AUTHOR     = "Mayur Naik and Jens Palsberg",
  YEAR       = 2004,
  TITLE      = "Compiling with code size constraints",
  JOURNAL    = {Transactions on Embedded Computing Systems},
  volume     = {3},
  number     = {1},
  publisher  = {ACM Press},
  pages      = {163-181}
}

@PhdThesis{Nandivada05,
  AUTHOR = "Venkata Krishna Nandivada",
  TITLE = "Combining Stack Location Allocation with Register Allocation",
  SCHOOL = "University of California, Los Angeles",
  YEAR = "2005"
}

@InProceedings{Nanda09,
  author    = {Mangala Gowri Nanda and Saurabh Sinha},
  title     = {Accurate Interprocedural Null-Dereference Analysis for Java},
  booktitle = {ICSE},
  year      = {2009},
  pages     = {133-143}
}

@InProceedings{Nandivada06,
  AUTHOR     = {Venkata Krishna Nandivada and Jens Palsberg},
  YEAR       = 2006,
  TITLE      = "{SARA}: Combining Stack Allocation and Register Allocation",
  booktitle  = {15th International Conference on Compiler Construction},
  publisher  = {Springer-Verlag}
}

@InProceedings{Nandivada07,
  author    = "V. Krishna Nandivada and Fernando Pereira and Jens Palsberg",
  title     = "A Framework for End-to-End Verification and Evaluation of Register Allocators",
  booktitle = "SAS",
  publisher = "Springer",
  month     = "Kongens Lyngby, Denmark, August",
  pages     = "153-169",
  year      = 2007
}

@inproceedings{Nascimento05,
  author = {do Nascimento,, Luiz Thomaz and Ferreira,, Renato A. and Guedes,, Dorgival},
  title = {Scheduling Data Flow Applications Using Linear Programming},
  booktitle = {ICPP},
  year = {2005},
  pages = {638--645},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},
}

@Article{Natori94,
  AUTHOR     = {K. Natori},
  YEAR       = "1994",
  TITLE      = "Ballistic metal-oxide-semiconductor field effect transistor",
  JOURNAL    = {Journal of Applied Physicis},
  volume     = {76},
  number     = {2},
  publisher  = "",
  pages      = {4879--4890}
}


@inproceedings{Necula98,
  author = "George C. Necula and Peter Lee",
  title = "The Design and Implementation of a Certifying Compiler",
  booktitle = "{PLDI}",
  PUBLISHER  = {ACM},
  pages = "333-344",
  year = "1998"
}

@InProceedings{Necula00,
  AUTHOR     = {George C. Necula},
  YEAR       = 2000,
  TITLE      = "Translation Validation for an Optimizing Compiler",
  booktitle  = {PLDI},
  pages      = "83-95",
  publisher  = {ACM}
}

@InProceedings{Nethercote07,
  author = {Nethercote, Nicholas and Seward, Julian},
  title = {Valgrind: a framework for heavyweight dynamic binary instrumentation},
  booktitle = {PLDI},
  year = {2007},
  pages = {89--100},
  publisher = {ACM}
}

@InProceedings{Nickerson90,
  AUTHOR     = {Brian R. Nickerson},
  YEAR       = 1990,
  TITLE      = "Graph coloring register allocation for processors with multi-register operands",
  booktitle  = {PLDI},
  pages      = "40-52",
  publisher  = {ACM}
}

@InBook{Nickolls09,
  title = "Graphics and Computing GPUs. {Computer Organization and Design,
  (Patterson and Hennessy)}",
  booktitle = "Computer Organization and Design",
  chapter = "A",
  author = "John Nickolls and David Kirk",
  year = 2009,
  pages = "A.1 -- A.77",
  edition = "4th",
  publisher = "Elsevier"
}

@article{Nickolls10,
  author = {John Nickolls and William J. Dally},
  title = {The GPU Computing Era},
  journal = {IEEE Micro},
  volume = {30},
  year = {2010},
  pages = {56--69},
  publisher={IEEE}
}

@InProceedings{Norris94,
    author = "Cindy Norris and Lori L. Pollock",
    title = "Register Allocation over the Program Dependence Graph",
    booktitle = "{PLDI}",
  PUBLISHER  = {ACM},
    pages = "266-277",
    year = "1994"
}

@article{Nuutila94,
  author    = {Esko Nuutila and
               Eljas Soisalon-Soininen},
  title     = {On Finding the Strongly Connected Components in a Directed
               Graph},
  journal   = {Inf. Process. Lett.},
  volume    = {49},
  number    = {1},
  year      = {1994},
  pages     = {9-14}
}

@Book{Nvidia07,
  AUTHOR       = "V\'{a}rios autores",
  YEAR         = {2007},
  TITLE        = "{NVIDIA} {CUDA} Compute Unfied Device Architecture --
    Programming Guide",
  Edition      = {1.0},
  publisher    = {NVIDIA}
}

@Book{Nvidia09,
  AUTHOR       = "V\'{a}rios autores",
  YEAR         = {2009},
  TITLE        = "{NVIDIA} {CUDA} {C} Programming Best Practices Guide --
  {CUDA} Toolkit 2.3",
  Edition      = {1.0},
  publisher    = {NVIDIA}
}

@TechReport{Odersky04,
 author =       {Martin Odersky and al.},
 title =        {An Overview of the Scala Programming Language},
 institution =  {EPFL Lausanne, Switzerland},
 year =         2004
}

@inproceedings{Oh11,
  author = {Oh, Hakjoo and Brutschy, Lucas and Yi, Kwangkeun},
  title = {Access analysis-based tight localization of abstract memories},
  booktitle = {VMCAI},
  year = {2011},
  pages = {356--370},
  publisher = {Springer}
}

@InProceedings{Oh12,
    author = "Hakjoo Oh and Kihong Heo and Wonchan Lee and Woosuk Lee and Kwangkeun Yi",
    title = "Design and Implementation of Sparse Global Analyses for {C}-like Languages",
    booktitle = "{PLDI}",
  PUBLISHER  = {ACM},
    pages = "229--238",
    year = "2012"
}

@Article{Ohori04,
  AUTHOR     = {Atsuchi Ohori},
  YEAR       = 2004,
  TITLE      = "Register allocation by proof transformation",
  JOURNAL    = "Science of Computer Programming",
  PAGES      = "161-187",
  volume     = "50",
  number     = "1-3",
  PUBLISHER  = "Elsevier"
}

@article{Orbaek95,
  title={Trust in the $\lambda$-calculus},
  volume={3},
  number={2},
  journal={Static Analysis},
  author={{\O}rb{\ae}k P. and Palsberg, J.},
  year={1995},
  pages={75-85}
}

@techreport{Osborn04,
  author = {Nicholas Osborn},
  title = {The International Technology Roadmap for Semiconductors: Emerging
  Research Devices},
  year = {2004},
  source = {Update},
  institution = {Seminconductor Industry Association}
}


@inproceedings{Ottenstein90,
  author = {Ottenstein, Karl J. and Ballance, Robert A. and MacCabe, Arthur B.},
  title = {The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages},
  booktitle = {PLDI},
  year = {1990},
  pages = {257--271},
  publisher = {ACM}
}

@article{Palotti10,
  author    = {Jo{\~a}o R. de M. Palotti and Thiago Salles and
      Gisele L. Pappa and Filipe Arcanjo and Marcos Andr{\'e} Gon\c{c}alves and
      Wagner Meira Jr.},
  title     = {Estimating the Credibility of Examples in Automatic Document
    Classification},
  journal   = {JIDM},
  volume    = {1},
  number    = {3},
  year      = {2010},
  pages     = {439-454}
}

@inproceedings{Park98,
  author    = {Jinpyo Park and
               Soo-Mook Moon},
  title     = {Optimistic Register Coalescing},
  booktitle = {IEEE PACT},
  year      = {1998},
  pages     = {196-204}
}

@article{Park04,
  author    = {Jinpyo Park and
               Soo-Mook Moon},
  title     = {Optimistic register coalescing},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {26},
  number    = {4},
  year      = {2004},
  pages     = {735-765}
}

@article{Parr95,
  author    = {Terence John Parr and
               Russell W. Quong},
  title     = {ANTLR: A Predicated- {\it LL(k) } Parser Generator},
  journal   = {Software, Practice and Experience},
  volume    = {25},
  number    = {7},
  year      = {1995},
  pages     = {789-810}
}

@inproceedings{Patterson95,
 author = {Patterson, Jason R. C.},
 title = {Accurate static branch prediction by value range propagation},
 booktitle = {PLDI},
 year = {1995},
 pages = {67--78},
 publisher = {ACM}
}

@inproceedings{Paulin88,
 author = {P. G. Paulin and J. P. Knight and E. F. Girczyc},
 title = {HAL: A multi-paradigm approach to automatic data path synthesis},
 booktitle = {25 years of DAC: Papers on Twenty-five years of electronic design automation},
 year = {1988},
 isbn = {0-89791-267-5},
 pages = {587--594},
 doi = {http://doi.acm.org/10.1145/62882.62953},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{Pearce03,
  author    = {David J. Pearce and
               Paul H. J. Kelly and
               Chris Hankin},
  title     = {Online Cycle Detection and Difference Propagation for Pointer
               Analysis},
  booktitle = {SCAM},
  year      = {2003},
  pages     = {3-12}
}

@inproceedings{Pearce04,
  author    = {David J. Pearce and
               Paul H. J. Kelly and
               Chris Hankin},
  title     = "Efficient field-sensitive pointer analysis for {C}",
  booktitle = {PASTE},
  year      = {2004},
  pages     = {37-42}
}

@InProceedings{Pemmaraju05,
  AUTHOR     = "Sriram V. Pemmaraju and Rajiv Raman",
  YEAR       = "2005",
  TITLE      = "Approximation Algorithms for the Max-coloring Problem",
  BOOKTITLE  = "{ICALP}",
  pages      = "1064 -- 1075"
}

@article{Pemmaraju05b,
 author = {Sriram V. Pemmaraju and Sriram Penumatcha and Rajiv Raman},
 title = {Approximating interval coloring and max-coloring in chordal graphs},
 journal = {J. Exp. Algorithmics},
 volume = {10},
 year = {2005},
 issn = {1084-6654},
 pages = {399-416},
 doi = {http://doi.acm.org/10.1145/1064546.1180619},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Pereira01,
  author = "Fernando Magno Quintao Pereira and
            Roberto da Silva Bigonha and
            Mariza Andrade da Silva Bigonha and
            Vladimir Oliveira de Iorio",
  title  = "Avalia\c{c}\~{a}o Parcial de Programas usando {CMIX/II}",
  booktitle = "SBLP",
  publisher = "SBC",
  pages = "32 - 47",
  year = "2001"
}

@InProceedings{Pereira02,
  author="Fernando Magno Quintao Pereira and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha and
          Vladimir Oliveira de Iorio",
  title = "Aplica\c{c}\~{o}es de Avalia\c{c}\~{a}o Parcial de Programas",
  booktitle = "55th Reuni\~{a}o Nacional da Sociedade Brasileira pelo Progresso
               da Ci\^{e}ncia",
  publisher = "SBPC",
  year = "2002"
}

@InProceedings{Pereira02b,
  author="Fernando Magno Quintao Pereira and
          Marco T\'{u}lio de Oliveira Valente and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="Uma Linguagem para Coordena\c{c}\~{a}o de Aplica\c{c}\~{o}es em Redes
         M\'{o}veis Ad-hoc",
  booktitle="SBLP",
  pages="152 - 165",
  publisher="SBC",
  year="2002"
}

@InProceedings{Pereira02c,
  author="Fernando Magno Quintao Pereira and
          Marco T\'{u}lio de Oliveira Valente and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="A Java-based Simulator for Ad Hoc Mobile Distributed Systems",
  booktitle="{FIDJI} - International Workshop on Scientific Engineering of
            Distributed java Applications",
  publisher="Springer",
  year="2002"
}

@InProceedings{Pereira03,
  author="Fernando Magno Quintao Pereira and
          Leonardo Trivelato Rolla and
          Cristiano Gato de Rezende and
          Rodrigo Lima Carceroni",
  title="The Language LinF for Fractal Specification",
  booktitle="{SIBGRAPI} - 16th Brazilian Symposium on Computer Graphics",
  publisher="{IEEE}",
  pages="67 - 74",
  year="2003"
}

@InProceedings{Pereira03b,
  author="Fernando Magno Quintao Pereira and
          Marco T\'{u}lio de Oliveira Valente and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="Chamada Remota de M\'{e}todos na Plataforma {J2ME/CLDC}",
  booktitle="{WCSF} - 5th Brazilian Workshop on Wireless Communication and
            Mobile Computation",
  publisher="SBC",
  pages="157 - 168",
  year="2003"
}

@InProceedings{Pereira04,
  author="Fernando Magno Quintao Pereira and
          Marco T\'{u}lio de Oliveira Valente and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="Arcademis: a Java Based Framework for Middleware Development",
  booktitle="{SBRC} - 22nd Brazilian Symposium on Computer Networks",
  pages="539 - 552",
  publisher="SBC",
  year="2004"
}

@InProceedings{Pereira04b,
  author="Fernando Magno Quintao Pereira and
          Wagner Salazar Pires and
          Marco T\'{u}lio de Oliveira Valente and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="Tactics for Remote Method Invocation",
  booktitle="{SBLP}",
  pages="102 - 115",
  publisher="SBC",
  year="2004"
}

@Article{Pereira04c,
  author="Fernando Magno Quintao Pereira and
          Marco T\'{u}lio de Oliveira Valente and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="Chamada Remota de M\'{e}todos na Plataforma {J2ME/CLDC}",
  journal="Revista do Instituto Nacional de Telecomunica\c{c}\~{o}es",
  publisher="Inatel",
  volume="7",
  number="1",
  pages="21 - 31",
  year="2004"
}

@Article{Pereira04d,
  author="Fernando Magno Quintao Pereira and
          Wagner Salazar Pires and
          Marco T\'{u}lio de Oliveira Valente and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="Tactics for Remote Method Invocation",
  journal="Journal of Universal Computer Science ({J.UCS})",
  volume="10",
  number="7",
  pages="824 - 842",
  year="2004"
}

@MastersThesis{Pereira04e,
  author  = "Fernando Magno Quintao Pereira",
  title   = "Arcademis: um Arcabou\c{c}o para o Desenvolvimento de Middleware",
  school  = "Universidade Federal de Minas Gerais",
  year    = "2004"
}

@InProceedings{Pereira05,
  AUTHOR       = {Fernando Magno Quintao Pereira and Jens Palsberg},
  YEAR         = {2005},
  TITLE        = {Register Allocation via Coloring of Chordal Graphs},
  BOOKTITLE    = {APLAS},
  publisher    = {Springer},
  pages        = {315-329}
}

@InProceedings{Pereira06,
  AUTHOR       = {Fernando Magno Quintao Pereira and Jens Palsberg},
  YEAR         = {2006},
  TITLE        = {Register Allocation after Classic {SSA} elimination is NP-complete},
  BOOKTITLE    = {Foundations of Software Science and Computation Structures},
  publisher    = {Springer}
}

@Article{Pereira06b,
  author="Fernando Magno Quintao Pereira and
          Marco T\'{u}lio de Oliveira Valente and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="Arcademis: a Framework for Object Oriented Communication Middleware
         Development",
  journal="Software: Practice and Experience",
  volume="36",
  number="5",
  pages="495 - 512",
  year="2006"
}

@TechReport{Pereira07a,
  AUTHOR = "Fernando Magno Quintao Pereira",
  YEAR = "2007",
  TITLE = "A {SSA}-based Register Allocator",
  INSTITUTION = "University of California, Los Angeles"
}

@InProceedings{Pereira08,
  AUTHOR       = {Fernando Magno Quintao Pereira and Jens Palsberg},
  YEAR         = {2008},
  booktitle    = {PLDI},
  PUBLISHER  = {ACM},
  TITLE        = {Register Allocation by Puzzle Solving},
  pages        = "216-226"
}

@PhdThesis{Pereira08b,
  author = "Fernando Magno Quintao Pereira",
  title = "Register Allocation by Puzzle Solving",
  school =  "University of California, Los Angeles",
  year =         2008
}

@TechReport{Pereira08c,
  author =       "Fernando Magno Quintao Pereira",
  title =        "The Minimum Register Bank Problem",
  institution =  "University of California, Los Angeles",
  year =         2008
}

@InProceedings{Pereira09,
  AUTHOR       = {Fernando Magno Quintao Pereira and Jens Palsberg},
  YEAR         = {2009},
  booktitle    = {CC},
  TITLE        = "{SSA} Elimination after Register Allocation",
  pages        = "158 -- 173"
}

@InProceedings{Pereira09b,
  AUTHOR       = {Fernando Magno Quintao Pereira and Daniel Berlin},
  YEAR         = {2009},
  booktitle    = {CGO},
  publisher = {IEEE},
  TITLE        = {Wave Propagation and Deep Propagation for Pointer Analysis},
  pages        = "126-135"
}

@inproceedings{Pereira10,
  author    = {Fernando Magno Quint{\~a}o Pereira and Jens Palsberg},
  title     = {Punctual Coalescing},
  booktitle = {CC},
  year      = {2010},
  pages     = {165--184}
}

@misc{Pereira10b,
  author = "Fernando M. Q. Pereira",
  note = "\texttt{http://divmap.wordpress.com/}",
  year = "2011"
}

@InBook{Pereira11,
  title = "T\'{e}cnicas de Gera\c{c}\~{a}o de C\'{o}digo para Placas
    Gr\'{a}ficas",
  booktitle = "Jornada de Atualiza\c{c}\~{a}o em Inform\'{a}tica",
  chapter = "6",
  author = "Fernando Magno Quintao Pereira",
  year = 2011,
  pages = "259--301",
  edition = "1th",
  publisher = {SBC}
}

@article{Perrot79,
 author = {R. H. Perrot},
 title = {A Language for Array and Vector Processors},
 journal = {TOPLAS},
 volume = {1},
 year = {1979},
 pages = {177--195},
 publisher = {ACM}
}

@InProceedings{Pfenning99,
  AUTHOR     = {Frank Pfenning and Carsten Sch{\"u}rmann},
  YEAR       = 1999,
  TITLE      = "Twelf - a meta-logical framework for deductive systems",
  BOOKTITLE  = {CADE},
  PAGES      = "202--206",
  PUBLISHER  = "Springer"
}

@Book{Pierce04,
  AUTHOR       = {Benjamin C Pierce},
  YEAR         = {2004},
  TITLE        = {Types and Programming Languages},
  Edition      = {1st},
  publisher    = {MIT Press}
}

@InProceedings{Pingali95,
  AUTHOR       = {Keshav Pingali and Gianfranco Bilardi},
  TITLE        = "{APT}: A data structure for optimal control dependence
    computation",
  BOOKTITLE    = {PLDI},
  publisher    = {ACM},
  YEAR         = "1995",
  pages        = "211-222"
}

@InProceedings{Pingali97,
  AUTHOR       = {Keshav Pingali and Gianfranco Bilardi},
  TITLE        = "Optimal Control Dependence Computation and the Roman
    Chariots Problem",
  BOOKTITLE    = {TOPLAS},
  publisher    = {ACM},
  YEAR         = "1997",
  pages        = "462--491"
}

@InProceedings{Pingali07,
  AUTHOR       = {Milind Kulkarni and Keshav Pingali and Bruce Walter and Ganesh Ramanarayanan and Kavita Bala and L. Paul Chew},
  YEAR         = {2007},
  TITLE        = {Optimistic parallelism requires abstractions},
  BOOKTITLE    = {PLDI},
  publisher    = {ACM},
  pages        = "211-222"
} 

@InProceedings{Pistoia05,
  author = {Marco Pistoia and Robert J. Flynn and Larry Koved and
    Vugranam C. Sreedhar},
  title = {Interprocedural analysis for privileged code placement and tainted variable detection},
  booktitle = {ECOOP},
  year = {2005},
  pages = {362--386}
}

@PhdThesis{Plevyak96,
  author = "John Bradley Plevyak",
  title = "Optimization of Object-Oriented and Concurrent Programs",
  school =  "University of Illinois at Urbana-Champaign",
  year = 1996
}

@Article{Poletto99,
  AUTHOR     = {Massimiliano Poletto and Vivek Sarkar},
  YEAR       = 1999,
  TITLE      = "Linear Scan Register Allocation",
  JOURNAL    = {TOPLAS},
  volume     = {21},
  number     = {5},
  publisher  = {ACM},
  pages      = {895-913}
}

@inproceedings{Pnueli98,
  author = {Pnueli, Amir and Siegel, Michael and Singerman, Eli},
  title = {Translation Validation},
  booktitle = {TACAS},
  year = {1998},
  isbn = {3-540-64356-7},
  pages = {151--166},
  publisher = {Springer-Verlag},
  address = {London, UK},
}

@inproceedings{Prabhu11,
  author = {Tarun Prabhu and Shreyas Ramalingam and Matthew Might and Mary Hall},
  title = "{EigenCFA}: Accelerating Flow Analysis with {GPUs}",
  booktitle = {POPL},
  year = {2011},
  publisher = {ACM}
}

@inproceedings{Prosser59,
  author = {Prosser, Reese T.},
  title = {Applications of Boolean matrices to the analysis of flow diagrams},
  booktitle = "Eastern joint {IRE-AIEE-ACM} computer conference",
  year = {1959},
  pages = {133--138},
  publisher = {ACM}
} 

@misc{Puzzles07,
  AUTHOR       = {Fernando Magno Quintao Pereira and Jens Palsberg},
  YEAR         = {2007},
  TITLE        = {Register Allocation by Puzzle Solving},
  note         = {http://compilers.cs.ucla.edu/fernando/ projects/ puzzles/}
}

@misc{Quadros11,
  AUTHOR       = {Gabriel Silva Quadros and Fernando Magno Quintao Pereira},
  YEAR         = {2011},
  TITLE        = {The Address Leak Problem},
  note         = {Artigo submetido para o SBSeg 2011}
}

@Article{Ramalingan02,
  AUTHOR     = {G. Ramalingam},
  YEAR       = "2002",
  TITLE      = "On Sparse Evaluation Representations",
  JOURNAL    = "Theoretical Computer Science",
  volume     = {277},
  number     = {1-2},
  publisher  = {Elsevier},
  pages      = {119--147}
}

@TechReport{Rastello03,
  author="Fabrice Rastello and Fran\c{c}ois de Ferri\'{e}re and
    Christophe Guillon",
  title="Optimizing Translation Out of {SSA} Using Renaming Constraints",
  institution="\'{E}cole Normale Sup\'{e}rieure de Lyon",
  year="2003",
  number="03-35"
}

@book{Reppy07,
 author = {John H. Reppy},
 title = {Concurrent Programming in ML},
 year = {2007},
 publisher = {Cambridge University Press}
}

@inproceedings{Richards10,
  author    = {Richards G. and Lebresne S. and Burg B. and Vitek, J.},
  title     = {An Analysis of the Dynamic Behavior of JavaScript Programs},
  booktitle = {PLDI},
  year      = {2010},
  pages     = {1--12}
}

@article{Rideau08,
 author = {Rideau, Laurence and Serpette, Bernard Paul and Leroy, Xavier},
 title = {Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves},
 journal = {J. Autom. Reason.},
 volume = {40},
 number = {4},
 year = {2008},
 issn = {0168-7433},
 pages = {307--326}
}

@inproceedings{Rideau10,
  author    = {Silvain Rideau and Xavier Leroy},
  title     = {Validating Register Allocation and Spilling},
  booktitle = {CC},
  year      = {2010},
  pages     = {224-243}
}

@inproceedings{Rigo04,
  author = {Rigo, Armin},
  title = {Representation-based just-in-time specialization and the psyco prototype for python},
  booktitle = {PEPM},
  year = {2004},
  pages = {15--26},
  publisher = {ACM}
}

@inproceedings{Rimsa10,
  author = {Andrei Alves Rimsa and Marcelo D'Amorim and Fernando M. Q. Pereira},
  title = {Efficient Static Checker for Tainted Variable Attacks},
  booktitle = {SBLP},
  year = {2010},
  pages = {},
  publisher = {SBC}
}

@mastersthesis{Rimsa10b,
  author  = "Andrei Alves Rimsa",
  title   = "Algoritmo Eficiente para Detec\c{c}ao de Ataques de Fluxo
    Contaminado",
  school  = "{UFMG}",
  month   = "December",
  year    = "2010"
}

@inproceedings{Rimsa11,
  author = {Andrei Alves Rimsa and Marcelo D'Amorim and Fernando M. Q. Pereira},
  title = "Tainted Flow Analysis on {e-SSA}-form Programs",
  booktitle = {CC},
  year = {2011},
  pages = {124--143},
  publisher = {Springer}
}

@article{Rimsa11b,
  author = {Andrei Alves Rimsa and Marcelo D'Amorim and Fernando M. Q. Pereira
    and Roberto Bigonha},
  title = "Efficient Static Checker for Tainted Variable Attacks",
  journal = "Science of Computer Programming",
  year = {201X},
  pages = {2--24},
  note      = "Artigo convidado para edi\c{c}\~{a}o especial do SBLP 2010.
    Publica\c{c}\~{a}o impressa prevista para 2012.",
  volume = {X},
  number = {X},
  publisher = {Elsevier}
}

@inproceedings{Ritchie93,
  author    = {Dennis Ritchie},
  title     = {The Eevelopment of the C Language},
  booktitle = {HOPL},
  year      = {1993},
  pages     = {201-208},
  publisher = {ACM}
}

@inproceedings{Rong09,
  author = {Rong, Hongbo},
  title = {Tree register allocation},
  booktitle = {MICRO},
  year = {2009},
  pages = {67--77},
  publisher = {ACM}
}

@InProceedings{Rosen88,
  AUTHOR       = {B. K. Rosen and F. K. Zadeck and M. N. Wegman},
  YEAR         = {1988},
  TITLE        = {Global value numbers and redundant computations},
  BOOKTITLE    = {POPL},
  publisher    = {ACM Press},
  pages        = {12-27}
}

@inproceedings{Rouhtev00,
  author    = {Atanas Rountev and
               Satish Chandra},
  title     = {Off-line variable substitution for scaling points-to analysis},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {2000},
  pages     = {47-56}
}

@inproceedings{Roy10,
  author    = {Subhajit Roy and Y. N. Srikant},
  title     = {The Hot Path SSA Form: Extending the Static Single Assignment
               Form for Speculative Optimizations},
  booktitle = {CC},
  year      = {2010},
  pages     = {304--323}
}

@article{Rugina00,
 author = {Rugina, Radu and Rinard, Martin},
 title = {Symbolic bounds analysis of pointers, array indices, and accessed memory regions},
 journal = {SIGPLAN Not.},
 volume = {35},
 number = {5},
 year = {2000},
 issn = {0362-1340},
 pages = {182--195},
 publisher = {ACM}
}

@InProceedings{Runeson03,
  AUTHOR     = {Johan Runeson and Sven-Olof Nystrom},
  YEAR       = 2003,
  TITLE      = "Retargetable graph-coloring register allocation for irregular architectures",
  booktitle  = {SCOPES},
  pages      = "240-254",
  publisher  = "Springer"
}

@inproceedings{Ryoo08,
  author = {Shane Ryoo and Christopher I. Rodrigues and Sara S. Baghsorkhi and Sam S. Stone and David B. Kirk and Wen-mei W. Hwu},
  title = {Optimization principles and application performance evaluation of a multithreaded GPU using CUDA},
  booktitle = {PPoPP},
  year = {2008},
  pages = {73--82},
  publisher = {ACM}
}

@article{Sagiv98,
  author = {Sagiv, Mooly and Reps, Thomas and Wilhelm, Reinhard},
  journal = {TOPLAS},
  number = {1},
  pages = {1--50},
  title = {{Solving shape-analysis problems in languages with destructive updating}},
  volume = {20},
  year = {1998}
}

@article{Sagiv02,
  author = {Sagiv, Mooly and Reps, Thomas and Wilhelm, Reinhard},
  title = {Parametric shape analysis via 3-valued logic},
  journal = {TOPLAS},
  volume = {24},
  issue = {3},
  year = {2002},
  pages = {217--298},
  publisher = {ACM}
}

@Article{Sagonas03,
  author = "Konstantinos Sagonas and Erik Stenman",
  title = "Experimental Evaluation and Improvements to Linear Scan Register Allocation",
  journal = "Software, Practice and Experience",
  volume = "33",
  pages = "1003--1034",
  year = "2003"
}

@inproceedings{Saha09,
 author = {Saha, Bratin and Zhou, Xiaocheng and Chen, Hu and Gao, Ying and Yan, Shoumeng and Rajagopalan, Mohan and Fang, Jesse and Zhang, Peinan and Ronen, Ronny and Mendelson, Avi},
 title = {Programming model for a heterogeneous x86 platform},
 booktitle = {PLDI},
 year = {2009},
 pages = {431--440},
 publisher = {ACM}
}

@PhdThesis{Samet75,
  author = {Hanan Samet},
  title = {Automatically Proving the Correctness of Translations involving Optimized Code},
  school = {Stanford University},
  year = {1975}
}

@inproceedings{Sampaio10,
  author = {Diogo Sampaio and Bruno Coutinho and Fernando Magno Quintao
    Pereira},
  booktitle = {LTPD},
  publisher = {SBC},
  title = "Detecting Divergent Branches in SIMD Architectures",
  pages = "",
  year = {2010}
}

@inproceedings{Sandes10,
  author = {Sandes, Edans Flavius O. and de Melo, Alba Cristina M.A.},
  title = {CUDAlign: using GPU to accelerate the comparison of megabase genomic sequences},
  booktitle = {PPoPP},
  year = {2010},
  pages = {137--146},
  publisher = {ACM}
}

@InProceedings{Sarkar07,
  AUTHOR     = "Vivek Sarkar and Rajkishore Barik",
  YEAR       = 2007,
  TITLE      = "Extended Linear Scan: an Alternate Foundation for Global Register Allocation",
  booktitle  = {LCTES/CC},
  publisher  = {ACM},
  pages      = {141-155}
}

@inproceedings{Sato09,
  author = {Sato, Shigeyuki and Iwasaki, Hideya},
  title = {A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming},
  booktitle = {APLAS},
  year = {2009},
  pages = {79--94},
  publisher = {Springer-Verlag}
}

@article{Scaife05,
  author = {Scaife, Norman and Horiguchi, Susumi and Michaelson, Greg and Bristow, Paul},
  title = "A parallel {SML} compiler based on algorithmic skeletons",
  journal = {Journal of Functional Programming},
  volume = {15},
  number = {4},
  year = {2005},
  pages = {615--650}
}

@InProceedings{Scholz02,
  AUTHOR     = "Bernhard Scholz and Erik Eckstein",
  YEAR       = 2002,
  TITLE      = "Register Allocation for Irregular Architectures",
  booktitle  = {LCTES/SCOPES},
  publisher  = {ACM},
  pages      = {139-148}
}

@techreport{Scholz08,
  author = {Scholz, Bernhard and Zhang, Chenyi and Cifuentes, Cristina},
  title = {User-input dependence analysis via graph reachability},
  year = {2008},
  source = {SMLI TR-2008-171},
  institution = {Sun, Inc.}
}

@article{Scott03,
  author = {Scott, David and Sharp, Richard},
  title = {Specifying and Enforcing Application-Level Web Security Policies},
  journal = {Trans. on Knowl. and Data Eng.},
  volume = {15},
  issue = {4},
  year = {2003},
  pages = {771--783},
  publisher = {IEEE}
}

@article{Seiler08,
 author = {Seiler, Larry and Carmean, Doug and Sprangle, Eric and Forsyth, Tom and Abrash, Michael and Dubey, Pradeep and Junkins, Stephen and Lake, Adam and Sugerman, Jeremy and Cavin, Robert and Espasa, Roger and Grochowski, Ed and Juan, Toni and Hanrahan, Pat},
 title = {Larrabee: a many-core x86 architecture for visual computing},
 journal = {ACM Trans. Graph.},
 volume = {27},
 number = {3},
 year = {2008},
 pages = {1--15},
 publisher = {ACM}
}

@InProceedings{Sethi73,
  AUTHOR       = {Ravi Sethi},
  YEAR         = {1973},
  TITLE        = {Complete register allocation problems},
  BOOKTITLE    = {5th annual ACM symposium on Theory of computing},
  publisher    = {ACM Press},
  pages        = {182-195}
}

@article{Sethi73b,
  author    = {Ravi Sethi},
  title     = {A Note on Implementing Parallel Assignment Instructions},
  journal   = {Inf. Process. Lett.},
  volume    = {2},
  number    = {4},
  year      = {1973},
  pages     = {91-95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Lee09,
  author = {Lee, Seyong and Min, Seung-Jai and Eigenmann, Rudolf},
  title = {OpenMP to GPGPU: a compiler framework for automatic translation and optimization},
  booktitle = {PPoPP},
  year = {2009},
  pages = {101--110},
  publisher = {ACM}
}

@inproceedings{Shacham04,
  author = {Shacham, Hovav and Page, Matthew and Pfaff, Ben and Goh, Eu-Jin and
    Modadugu, Nagendra and Boneh, Dan},
  title = {On the effectiveness of address-space randomization},
  booktitle = {CSS},
  year = {2004},
  pages = {298--307},
  publisher = {ACM}
}

@inproceedings{Shacham07,
  author = {Shacham, Hovav},
  title = {The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86)},
  booktitle = {CCS},
  year = {2007},
  pages = {552--561},
  publisher = {ACM}
}

@article{Shankar05,
  author = {Shankar, Ajeet and Sastry, S. Subramanya and Bod\'{\i}k, Rastislav and Smith, James E.},
  title = {Runtime specialization with optimistic heap analysis},
  journal = {SIG. Not.},
  volume = {40},
  number = {10},
  year = {2005},
  pages = {327--343},
  publisher = {ACM}
}

@inproceedings{Shin07,
 author = {Shin, Jaewook},
 title = {Introducing Control Flow into Vectorized Code},
 booktitle = {PACT},
 year = {2007},
 pages = {280--291},
 publisher = {IEEE}
}

@inproceedings{Shivers88,
  author    = {Olin Shivers},
  title     = {Control-Flow Analysis in Scheme},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {1988},
  pages     = {164-174}
}

@article{Schultz03,
  author = {Schultz, Ulrik P. and Lawall, Julia L. and Consel, Charles},
  title = {Automatic program specialization for Java},
  journal = {TOPLAS},
  volume = {25},
  number = {4},
  year = {2003},
  pages = {452--499},
  publisher = {ACM}
}

@article{Silva06,
  author    = {Anderson Faustino da Silva and V\'{\i}tor Santos Costa},
  title     = {The Design of the YAP Compiler: An Optimizing Compiler for Logic
    Programming Languages},
  journal   = {J. UCS},
  volume    = {12},
  number    = {7},
  year      = {2006},
  pages     = {764-787},
}

@book{Simon08,
  author = "Axel Simon",
  title = "Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities",
  year = "2008",
  edition = "1th",
  publisher = "Springer",
} 

@InProceedings{Singer03,
  AUTHOR       = "Jeremy Singer",
  TITLE        = "{SSI} extends {SSA}",
  BOOKTITLE    = "PACT (Work in Progress Session)",
  pages        = "XX--YY",
  YEAR         = "2003"
}

@PhdThesis{Singer06,
  author = "Jeremy Singer",
  title  = "Static Program Analysis Based on Virtual Register Renaming",
  school = "University of Cambridge",
  year   = 2006
}

@Article{Smith81,
  author    = {Temple F Smith and Michael S Waterman},
  title     = {Identification of Common Molecular Subsequences},
  journal   = {Journal of Molecular Biology},
  volume    = {147},
  publisher = {Elsevier},
  number    = {1},
  year      = {1981},
  pages     = {195 -- 197}
}

@InProceedings{Smith04,
  AUTHOR       = "Michael D. Smith and Norman Ramsey and Glenn Holloway",
  TITLE        = "A generalized algorithm for graph-coloring register allocation",
  BOOKTITLE    = "{PLDI}",
  PUBLISHER  = {ACM},
  pages        = "277-288",
  YEAR         = "2004"
}

@inproceedings{Huang06,
  author    = {Yuqiang Huang and Bruce R. Childers and Mary Lou Soffa},
  title     = {Catching and Identifying Bugs in Register Allocation},
  booktitle = {SAS},
  year      = {2006},
  pages     = {281-300}
}

@inproceedings{Sol08,
  author    = {Marcos Rodrigo Sol Souza and Maria Augusta Vieira Nelson},
  title     = {A domain-specific language for the interoperability between
               object-oriented and mainframe systems},
  booktitle = {International Workshop on Domain-Specific Program Development},
  year      = {2008},
  pages     = {136-148}
}

@inproceedings{Sol10,
  author    = {Marcos Rodrigo Sol Souza and
    Fernando Magno Quintao Pereira and Mariza Andrade da Silva Bigonha},
  title     = {Removing Overflow Tests via Run-Time Partial Evaluation},
  booktitle = {SBLP},
  year      = {2010},
  pages     = {}
}

@inproceedings{Sol11,
  author    = {Marcos Rodrigo Sol Souza and Christophe Guillon and
    Fernando Magno Quintao Pereira and Mariza Andrade da Silva Bigonha},
  title     = {Dynamic Elimination of Overflow Tests in a Trace Compiler},
  booktitle = {CC},
  year      = {2011},
  pages     = {2--21}
}

@mastersthesis{Sol11b,
  author  = "Marcos Rodrigo Sol Souza",
  title   = "Elimina\c{c}ao de Testes de Overflow em um Compilador JavaScript",
  school  = "{UFMG}",
  month   = "January",
  year    = "2011"
}

@inproceedings{Solar08,
  author    = {Armando Solar-Lezama and
               Christopher Grant Jones and
               Rastislav Bod\'{\i}k},
  title     = {Sketching concurrent data structures},
  booktitle = {PLDI},
  PUBLISHER  = {ACM},
  year      = {2008},
  pages     = {136-148}
}

@Book{Sparc92,
  AUTHOR     = {Corporate SPARC International Inc.},
  YEAR       = 1992,
  TITLE      = "The {SPARC} Architecture Manual, Version 8",
  Edition    = "1st",
  PUBLISHER  = "Prentice Hall"
}

@inproceedings{Spring07,
  author = {Spring, Jesper  H.  and Privat, Jean   and Guerraoui, Rachid   and Vitek, Jan  },
  title = {Streamflex: high-throughput stream programming in java},
  booktitle = {OOPSLA},
  pages = {211--228},
  publisher = {ACM},
  year = {2007}
}

@ARTICLE{Springer94,
  title={Exploiting the special structure of conflict and compatibility graphs in high-level synthesis},
  author={Springer, D.L. and Thomas, D.E.},
  journal={Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on},
  year={Jul 1994},
  volume={13},
  number={7},
  pages={843-856}
}

@InProceedings{Sreedhar95,
  AUTHOR     = "Vugranam C. Sreedhar and Guang R. Gao",
  YEAR       = 1995,
  TITLE      = "A linear time algorithm for placing $\phi$-nodes",
  booktitle  = {POPL},
  publisher  = {ACM},
  pages      = {62--73}
}


@InProceedings{Sreedhar99,
  AUTHOR     = "Vugranam C. Sreedhar and Roy Dz-ching Ju and David M. Gillies and Vatsa Santhanam",
  YEAR       = 1999,
  TITLE      = "Translating out of Static Single Assignment Form",
  booktitle  = {SAS},
  publisher  = {Springer-Verlag},
  pages      = {194-210}
}

@inproceedings{Srivastava94,
 author = {Srivastava, Amitabh and Eustace, Alan},
 title = {ATOM: a system for building customized program analysis tools},
 booktitle = {PLDI},
 year = {1994},
 pages = {196--205},
 publisher = {ACM}
}

@article{Steenkiste89,
 author = {Peter A. Steenkiste and John L. Hennessy},
 title = {A simple interprocedural register allocation algorithm and its effectiveness for LISP},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {11},
 number = {1},
 year = {1989},
 issn = {0164-0925},
 pages = {1--32},
 doi = {http://doi.acm.org/10.1145/59287.59289},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Steensgaard96,
  author    = {Bjarne Steensgaard},
  title     = {Points-to Analysis in Almost Linear Time},
  booktitle = {POPL},
  year      = {1996},
  pages     = {32-41}
}

@article{Steinhaus56,
  author = {Steinhaus, H. },
  journal = {Bull. Acad. Polon. Sci},
  pages = {801--804},
  title = {Sur la division des corp materiels en parties},
  volume = {1},
  year = {1956}
}

@inproceedings{Stephenson00,
 author = {Mark Stephenson and Jonathan Babb and Saman Amarasinghe},
 title = {Bitwidth analysis with application to silicon compilation},
 booktitle = {PLDI},
 year = {2000},
 pages = {108--120},
 publisher = {ACM}
}

@InProceedings{Stratton10,
  title="Efficient compilation of fine-grained {SPMD}-threaded programs for
    multicore {CPUs}",
  booktitle={CGO},
  publisher={IEEE},
  author={Stratton, John A. and Grover, Vinod and Marathe, Jaydeep and
    Aarts, Bastiaan and Murphy, Mike and Hu, Ziang and Hwu, Wen-mei W.},
  year={2010},
  pages={111--119}
}

@inproceedings{Striemer09,
  author = {Striemer, Gregory M. and Akoglu, Ali},
  title = {Sequence alignment with GPU: Performance and design challenges},
  booktitle = {IPDPS},
  year = {2009},
  pages = {1--10},
  publisher = {IEEE}
}

@Book{Stroustrup04,
  AUTHOR     = {Bjarne Stroustrup},
  YEAR       = 2004,
  TITLE      = "The C++ Programming Language",
  publisher  = "Addison-Wesley",
  edition    = "3rd",
}

@inproceedings{Stroustrup07,
  author    = {Bjarne Stroustrup},
  title     = {Evolving a language in and for the real world: C++ 1991-2006},
  booktitle = {HOPL},
  year      = {2007},
  pages     = {1-59},
  publisher = {ACM}
}

@InProceedings{Su04,
  author = {Zhendong Su and David Wagner},
  title = {A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings},
  booktitle = {TACAS},
  year = {2004},
  pages = {280--295}
}

@article{Su05,
  author = {Zhendong Su and David Wagner},
  title = {A class of polynomially solvable range constraints for interval analysis without widenings},
  journal = {Theoretical Computeter Science},
  volume = {345},
  number = {1},
  year = {2005},
  pages = {122--138},
  publisher = {Elsevier Science Publishers Ltd.}
}

@techreport{Sun06,
    author = "JVM Team",
    title = "The Java {HotSpot} Virtual Machine",
    number = "Technical White Paper",
    institution = "Sun Microsystems",
    pages = "23",
    year = "2006"
}

@inproceedings{Tallam03,
  author = {Sriraman Tallam and Rajiv Gupta},
  title = {Bitwidth aware global register allocation},
  booktitle = {POPL},
  year = {2003},
  pages = {85--96},
  location = {New Orleans, Louisiana, USA},
  publisher = {ACM}
}

@article{Tallent09,
 author = {Tallent, Nathan R. and Mellor-Crummey, John M.},
 title = {Effective performance measurement and analysis of multithreaded applications},
 journal = {PPOPP},
 volume = {44},
 number = {4},
 year = {2009},
 pages = {229--240},
 publisher = {ACM}
}

@article{Tarjan72,
  author    = {Robert Endre Tarjan},
  title     = {Depth-First Search and Linear Graph Algorithms},
  journal   = {SIAM J. Comput.},
  volume    = {1},
  number    = {2},
  year      = {1972},
  pages     = {146-160}
}

@article{Tarjan81,
  author    = {Robert Endre Tarjan},
  title     = {A Unified Approach to Path Problems},
  journal   = "Journal of the {ACM}",
  volume    = {28},
  number    = {3},
  year      = {1981},
  pages     = {577-593}
}

@inproceedings{Tate09,
  author = {Tate, Ross and Stepp, Michael and Tatlock, Zachary and Lerner, Sorin},
  title = {Equality saturation: a new approach to optimization},
  booktitle = {POPL},
  year = {2009},
  pages = {264--276},
  publisher = {ACM}
}

@inproceedings{Tavares08,
  author    = {Andre Luiz Camargos Tavares and
               Marco Tulio de Oliveira Valente},
  title     = {A remote display system for Java-based mobile applications},
  booktitle = {SAC},
  year      = {2008},
  pages     = {1918-1922}
}

@inproceedings{Tavares10,
  author    = {Andre L. C. Tavares and Fernando M. Q. Pereira and
    Mariza A. S. Bigonha and Roberto Bigonha},
  title     = {Efficient SSI Conversion},
  booktitle = {SBLP},
  year      = {2010},
  pages     = {}
}

@inproceedings{Tavares11,
  author    = {Andre L. C. Tavares and Quentin Colombet and Mariza A. S.
    Bigonha and Christophe Guillon and Fernando M. Q. Pereira and
    Fabrice Rastello},
  title     = {Decoupled Graph-Coloring Register Allocation with Hierarchical
  Aliasing},
  booktitle = {SCOPES},
  year      = {2011},
  pages     = {1--10}
}

@article{Tavares11b,
  author = {Andre L. C. Tavares and Benoit Boissinot and Mariza A. S.
    Bigonha and Roberto Bigonha and Fernando M. Q. Pereira and
    Fabrice Rastello},
  title = "A Program Representation for Sparse Dataflow Analyses",
  journal = "Science of Computer Programming",
  year = {201X},
  pages = {2--25},
  note      = "Invited paper with publication expected for 2012",
  volume = {X},
  number = {X},
  publisher = {Elsevier}
}

@mastersthesis{Tavares11c,
  author    = {Andre L. C. Tavares},
  title     = {Decoupled Graph-Coloring Register Allocation with Hierarchical
  Aliasing},
  school    = {UFMG},
  month     = {December},
  year      = {2011}
}

@misc{Tiobe09,
 author = {Paul Jansen},
 title = {Tiobe Code},
 note = {http://www.tiobe.com/},
 year = {2009}
}

@inproceedings{Traub98,
  author = "Omri Traub and Glenn H. Holloway and Michael D. Smith",
  title = "Quality and Speed in Linear-scan Register Allocation",
  booktitle = "PLDI",
  publisher = {ACM},
  pages = "142-151",
  year = "1998"
}

@inproceedings{Tripp09,
  author = "Omer Tripp and Marco Pistoia and Stephen Fink and Manu Sridharan
    and Omri Weisman",
  title = "{TAJ}: Effective Taint Analysis of Web Applications",
  booktitle = "PLDI",
  publisher = {ACM},
  pages = "87--97",
  year = "2009"
}

@article{Tristan08,
  author = {Tristan, Jean-Baptiste and Leroy, Xavier},
  title = {Formal verification of translation validators: a case study on instruction scheduling optimizations},
  journal = {SIGPLAN Not.},
  volume = {43},
  number = {1},
  year = {2008},
  pages = {17--27},
  publisher = {ACM}
}

@InProceedings{Tu95,
  title={Efficient building and placing of gating functions},
  author={Peng Tu and David Padua},
  booktitle={PLDI},
  publisher={ACM},
  year={1995},
  pages={47--55}
}

@InProceedings{Ueng08,
  author = {Ueng, Sain-Zee and Lathara, Melvin and Baghsorkhi, Sara S. and Hwu, Wen-Mei W.},
  title = "{CUDA}-Lite: Reducing GPU Programming Complexity",
  booktitle = {LCPC},
  year = {2008},
  pages = {1--15},
  publisher = {Springer-Verlag}
}

@InProceedings{Valente02,
  author ="Marco T\'{u}lio de Oliveira Valente and
           Roberto da Silva Bigonha and
           Mariza Andrade da Silva Bigonha and
           Fernando Magno Quintao Pereira",
  title="A Coordination Model for Ad Hoc Mobile Systems and its Formal
         Semantics",
  booktitle="WCSF - 4th Brazilian Workshop on Wireless Communication and Mobile
             Computation",
  publisher="SBC",
  pages="58 - 67",
  year="2002",
}

@InProceedings{Valente03,
  author="Marco T\'{u}lio de Oliveira Valente and
          Fernando Magno Quintao Pereira and
          Roberto da Silva Bigonha and
          Mariza Andrade da Silva Bigonha",
  title="A Coordination Model for Ad Hoc Mobile Systems",
  booktitle="{EURO-PAR} - 9th International Conference on Distributed
            Computing",
  publisher="LNCS",
  pages="1075 - 1081",
  year="2003"
}

@inproceedings{Veloso04,
  author    = {Adriano Veloso and
               Wagner Meira Jr. and
               Renato Ferreira and
               Dorgival Olavo Guedes Neto and
               Srinivasan Parthasarathy},
  title     = {Asynchronous and Anticipatory Filter-Stream Based Parallel
               Algorithm for Frequent Itemset Mining},
  booktitle = {PKDD},
  year      = {2004},
  pages     = {422-433}
}

@article{Vemuri02,
 author = {Ranga Vemuri and Srinivas Katkoori and Meenakshi Kaul and Jay Roy},
 title = {An efficient register optimization algorithm for high-level synthesis from hierarchical behavioral specifications},
 journal = {ACM Trans. Des. Autom. Electron. Syst.},
 volume = {7},
 number = {1},
 year = {2002},
 issn = {1084-4309},
 pages = {189--216},
 doi = {http://doi.acm.org/10.1145/504914.504923},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Venet04,
  author = {Venet, Arnaud and Brat, Guillaume},
  title = {Precise and efficient static array bound checking for large embedded C programs},
  journal = {SIGPLAN Not.},
  volume = {39},
  issue = {6},
  year = {2004},
  pages = {231--242},
  publisher = {ACM}
}

@inproceedings{Vishkin85,
  author    = {Vishkin, U.},
  title     = "Optimal Parallel Pattern Matching in Strings",
  booktitle = {ICALP},
  publisher = {Springer},
  year      = {1985},
  pages     = {63--74}
}

@inproceedings{Xie06,
  author = {Xie, Yichen and Aiken, Alex},
  title = {Static detection of security vulnerabilities in scripting languages},
  booktitle = {USENIX-SS},
  year = {2006},
  publisher = {USENIX Association}
}

@inproceedings{Xu99,
 author = {Xu, Zhichen and Miller, Barton P. and Naim, Oscar},
 title = {Dynamic instrumentation of threaded applications},
 booktitle = {PPoPP},
 year = {1999},
 pages = {49--59},
 publisher = {ACM}
}
 
@inproceedings{Wagner94,
 author = {Wagner, Tim A. and Maverick, Vance and Graham, Susan L. and Harrison,, Michael A.},
 title = {Accurate static estimators for program optimization},
 booktitle = {PLDI},
 year = {1994},
 pages = {85--96},
 publisher = {ACM}
}
 
@InProceedings{Wagner00,
 author = {David Wagner and Jeffrey S. Foster and Eric A. Brewer and
   Alexander Aiken},
 title = {A First Step Towards Automated Detection of Buffer Overrun
 Vulnerabilities},
 booktitle = {NDSS},
 year = {2000},
 pages = {3--17},
 publisher = {ACM}
}

@inproceedings{Wang09,
  author    = {T. Wang and T. Wei and Z. Lin and W. Zou},
  title     = {IntScope: Automatically Detecting Integer Overflow Vulnerability
               in X86 Binary Using Symbolic Execution},
  booktitle = {NDSS},
  year      = {2009},
  publisher = "Internet Society"
}

@book{Warren02,
 author = {Warren, Henry S.},
 title = {Hacker's Delight},
 year = {2002},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.}
}

@inproceedings{Wassermann07,
  author = {Wassermann, Gary and Su, Zhendong},
  title = {Sound and precise analysis of web applications for injection vulnerabilities},
  booktitle = {PLDI},
  year = {2007},
  pages = {32--41},
  publisher = {ACM}
}

@Book{Weaver94,
  AUTHOR     = {David L. Weaver and Tom Germond},
  YEAR       = 1994,
  TITLE      = "The {SPARC} Architecture Manual, Version 9",
  Edition    = "1st",
  PUBLISHER  = "Prentice Hall"
}
 
@inproceedings{Weiser81,
  author = {Weiser, Mark},
  title = {Program slicing},
  booktitle = {ICSE},
  year = {1981},
  pages = {439--449},
  publisher = {IEEE}
}

@article{Welch83,
 author = {P. H. Welch},
 title = {Parallel assignment revisited},
 journal = {Software Practice and Experience},
 volume = {13},
 number = {12},
 year = {1983},
 issn = {0038-0644},
 pages = {1175--1180},
 doi = {http://dx.doi.org/10.1002/spe.4380131208},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
}

@InProceedings{Whaley03,
  AUTHOR       = {John Whaley},
  YEAR         = {2003},
  TITLE        = {Joeq: a virtual machine and compiler infrastructure},
  BOOKTITLE    = {Workshop on Interpreters, virtual machines and emulators},
  publisher    = {ACM Press},
  pages        = {58-66}
}

@inproceedings{Whaley04,
  author    = {John Whaley and
               Monica S. Lam},
  title     = {Cloning-based context-sensitive pointer alias analysis using
               binary decision diagrams},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2004},
  pages     = {131-144}
}

@Book{Webber05,
  AUTHOR     = "Adam Brooks Webber",
  YEAR       = 2005,
  TITLE      = {Modern Programming Languages - A practical introduction},
  publisher  = "Franklin Beedle and Associates",
  edition    = "1",
}

@article{Wegman91,
 author = {Wegman, Mark N. and Zadeck, F. Kenneth},
 title = {Constant propagation with conditional branches},
 journal = {TOPLAS},
 volume = {13},
 number = {2},
 year = {1991},
 publisher = {ACM}
}

@TechReport{Weiland07,
  author      = "Michele Weiland",
  title       = "Chapel, Fortress and X10, Novel Languages for {HPC}",
  institution = "{LIP} Research Report",
  year        = 2009,
  number      = "00404236"
}


@InProceedings{Wimmer05,
  AUTHOR     = "Christian Wimmer and Hanspeter Mossenbock",
  YEAR       = 2005,
  TITLE      = "Optimized interval splitting in a linear scan register allocator",
  booktitle  = {VEE},
  publisher  = {ACM},
  pages      = {132-141}
}

@inproceedings{Wimmer10,
  author = {Wimmer, Christian and Franz, Michael},
  title = "Linear scan register allocation on {SSA} form",
  booktitle = {CGO},
  year = {2010},
  pages = {170--179},
  publisher = {ACM}
}

@article{Witten02,
	author = {Witten, I. H.  and Frank, E. },
	journal = {ACM SIGMOD Record},
	pages = {76--77},
	publisher = {ACM Press New York, NY, USA},
	title = {{Data mining: practical machine learning tools and techniques with Java implementations}},
	volume = {31},
	year = {2002}
}

@Book{Wolsey98,
  AUTHOR     = "Laurence Wolsey",
  YEAR       = 1998,
  TITLE      = "Integer Programming",
  publisher  = "John Wiley and Sons",
  edition    = "1"
}

@inproceedings{Wu92,
 author = {Wu, Youfeng},
 title = {Ordering functions for improving memory reference locality in a shared memory multiprocessor system},
 booktitle = {MICRO},
 year = {1992},
 pages = {218--221},
 publisher = {IEEE}
}

@inproceedings{Wu94,
 author = {Wu, Youfeng and Larus, James R.},
 title = {Static branch frequency and program profile analysis},
 booktitle = {MICRO},
 year = {1994},
 publisher = {IEEE}
}

@inproceedings{Yang10,
 author = "Yi Yang and Ping Xiang and Jingfei Kong and Huiyang Zhou",
 title = "A {GPGPU} compiler for memory optimization and parallelism
   management",
 booktitle = {PLDI},
 year = "2010",
 pages = "86--97",
 publisher = {ACM}
}

@Article{Yannakakis87,
  author    = {Mihalis Yannakakis and Fanica Gavril},
  title     = {The Maximum k-Colorable Subgraph Problem for Chordal Graphs.},
  journal   = {Information Processing Letters},
  volume    = {24},
  publisher = "Elsevier",
  number    = {2},
  year      = {1987},
  pages     = {133 -- 137}
}

@Article{Yanqin11,
  author    = {Yanqin Yang and Haijin Yan and Zili Shao and Minyi Guo},
  title     = {Compiler-assisted dynamic scratch-pad memory management with space overlapping for embedded systems},
  journal   = {Software: Practice and Experience},
  volume    = {41},
  publisher = "Wiley",
  number    = {7},
  year      = {2011},
  pages     = {737-752}
}

@article{Yo05,
  author    = {Ito Yo and Kohama Masaki and Sassa Masataka},
  title     = {Comparison and Evaluation of Reverse Translation Algorithms for Static Single Assignment Form},
  journal   = {Transactions of Information Processing Society of Japan},
  volume    = {46},
  number    = {14},
  year      = {2005},
  pages     = {30-42}
}

@article{Yu02,
  author    = {Yongjian Yu and Scott T. Acton},
  title     = "Speckle reducing anisotropic diffusion",
  journal   = "{IEEE} Transactions on Image Processing",
  volume    = {11},
  number    = {11},
  year      = {2002},
  pages     = {1260-1270}
}

@phdthesis{Zadeck84,
  author = "Frank Kenneth Zadeck",
  title = "Incremental Data Flow Analysis in a Structured Program Editor",
  school = "Rice University",
  year = "1984"
}

@phdthesis{Zaleski07,
   author = "Mathew Zaleski",
   title = "{YETI}: a gradually extensible trace interpreter",
   school = "University of Toronto",
   year = "2007"
}

@inproceedings{Zhang10,
  author = {Zhang, Chao and Wang, Tielei and Wei, Tao and Chen, Yu and Zou, Wei},
  title = {IntPatch: automatically fix integer-overflow-to-buffer-overflow vulnerability at compile-time},
  booktitle = {ESORICS},
  year = {2010},
  pages = {71--86},
  publisher = {Springer-Verlag}
}

@inproceedings{Zhang10a,
 author = {Zhang, Eddy Z. and Jiang, Yunlian and Guo, Ziyu and Shen, Xipeng},
 title = "Streamlining {GPU} applications on the fly: thread divergence elimination through runtime thread-data remapping",
 booktitle = {ICS},
 year = {2010},
 pages = {115--126},
 publisher = {ACM}
}

@InProceedings{Zhang11,
  author = {Zhang, Eddy Z. and Jiang, Yunlian and Guo, Ziyu and Tian, Kai and Shen, Xipeng},
  title = "On-the-fly elimination of dynamic irregularities for {GPU} computing",
  booktitle = {ASPLOS},
  year = {2011},
  pages = {369--380},
  publisher = {ACM}
} 

@article{Zhao10,
  author = {Zhao, Jin and Zhang, Xinya and Wang, Xin and Xue, Xiangyang},
  title = {Achieving O(1) IP lookup on GPU-based software routers},
  journal = {SIGCOMM},
  volume = {40},
  issue = {4},
  year = {2010},
  pages = {429--430},
  publisher = {ACM}
}

@inproceedings{Zhu05,
  author = {Jianwen Zhu},
  title = {Towards scalable flow and context sensitive pointer analysis},
  booktitle = {DAC},
  year = {2005},
  pages = {831--836}
}
